Synthesis of extended resource control nets using siphons

This paper generalizes the modular approach proposed by Jeng and DiCesare (1995) for modelling manufacturing systems with shared resources. First the dynamic behaviour of each resource is modelled separately using extended resource control nets. An important feature of ERCN 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 modelled through merging of common transitions and common 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.