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;
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.
1998
1998 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC’98)
0-7803-4778-1
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11589/20201
Citazioni
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact