DocumentCode
2202447
Title
A Petri net and digraph-theoretic approach for deadlock avoidance in flexible manufacturing systems
Author
Maione, Guido ; DiCesare, Frank
Author_Institution
Dipt. di Sci. dei Mater., Lecce Univ., Italy
Volume
1
fYear
1998
fDate
11-14 Oct 1998
Firstpage
605
Abstract
Combines Petri nets and digraphs to implement control policies avoiding deadlocks in flexible manufacturing systems. We translate some deadlock characterizations into Petri net markings. Hence we deduce inequality constraints on the token distribution to avoid deadlocks. By using control places we define place invariants to respect these constraints.
Keywords
Petri nets; flexible manufacturing systems; production control; Petri net markings; control places; control policies; deadlock avoidance; deadlock characterizations; digraph-theoretic approach; inequality constraints; token distribution; Automata; Automatic control; Control systems; Discrete event systems; Explosions; Flexible manufacturing systems; Manufacturing systems; Petri nets; Power system modeling; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-4778-1
Type
conf
DOI
10.1109/ICSMC.1998.725479
Filename
725479
Link To Document