In: IEEE Trans. on Robotics and Automation, Vol. 29, No. 4, pages 692-703. 1999.
Abstract: This paper generalizes the modular approach proposed by Jeng and DiCesare for modeling manufacturing systems with shared resources. First, the dynamic behavior of each resource is modeled separately using extended resource control nets (ERCNs). An important feature of ERCNs is their capability to express explicitly assembly operations and parallel processes, which is not possible with resource control nets. Interactions among the resources are then modeled through merging of common transitions and transition subnets. This paper provides conditions, expressed in terms of siphons, under which reversibility and liveness of the integrated model are obtained. Relations between siphons, circular structure and circular wait are formally established.
Keywords: Petri nets, manufacturing systems, resource control nets, siphon analysis.