In: IEEE Trans. on Systems, Man, and Cybernetics, Part A: Systems and Humans, Vol. 29, No. 4, pages 399-406. 1999.
Abstract: This paper uses siphons to analyze the class of Petri nets constructed by a modular approach 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 upper 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.
Keywords: manufacturing systems, modular Petri nets, resource sharing, siphon-based analysis.