Structured representation of rule-based specifications in CIM using updated Petri nets | IEEE Journals & Magazine | IEEE Xplore