Analysis of modularly composed nets by siphons

Author

Jeng, MuDer ; Xie, Xiaolan

Author_Institution

Dept. of Electr. Eng., Nat. Taiwan Ocean Univ., Keelung, Taiwan

Volume

29

Issue

4

fYear

1999

fDate

7/1/1999 12:00:00 AM

Firstpage

399

Lastpage

406

Abstract

This paper uses siphons to analyze the class of Petri nets constructed by a modular approach by Jeng and DiCesare (1995) 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

Keywords

Petri nets; finite state machines; production control; resource allocation; Petri nets; circular-wait; common transition subnets; liveness; manufacturing systems; modularly composed net analysis; resource interactions; reversibility; shared resources; siphons; strongly connected state machines; Aggregates; Control systems; Humans; Large-scale systems; Manufacturing systems; Merging; Oceans; Petri nets; Process design;

fLanguage

English

Journal_Title

Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on

Publisher

ieee

ISSN

1083-4427

Type

jour

DOI

10.1109/3468.769759

Filename

769759