Synthesis of resource control nets using siphons

This paper addresses the synthesis of Petri nets for modelling manufacturing systems with shared resources. It takes a resource point of view and adopts a modular modelling approach. First the dynamic behaviour of each resource is modelled separately using resource control nets, strongly connected state machines with one place being marked initially. 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.