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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725479
