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.
A Petri Net and Digraph-Theoretic Approach for Deadlock Avoidance in Flexible Manufacturing Systems / Maione, Guido; Dicesare, Frank. - (1998), pp. 605-610. (Intervento presentato al convegno 1998 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC’98) tenutosi a San Diego, CA nel October 11-14, 1998) [10.1109/ICSMC.1998.725479].
A Petri Net and Digraph-Theoretic Approach for Deadlock Avoidance in Flexible Manufacturing Systems
MAIONE, Guido;
1998-01-01
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
