Analysis of modularly composed nets by siphons

This paper uses siphons to analyze the class of Petri nets constructed by a modular approach in [5] for modeling manufacturing systems with shared resources. A resource point of view is taken. First the behavior of each resource is modeled using resource control nets, strongly connected state machines with one place being marked initially. Interactions among the resources are modeled through merging of 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 and circular-wait are formally established, Superiority of the siphon-based analysis over a previous analysis using circular wait is shown.