Many deadlock prevention approaches have been suggested in the literature for Petri net models of flexible manufacturing systems, based on siphon enumeration and control. With medium and large problem dimensions, such methods often require both an excessive computational load and extremely large control sub-nets, making them unfeasible or impractical. In this work, a simple approach is proposed for the design of sub-optimal but compact controllers. The approach is based on the anticipated allocation of a sub-set of resources that decouples the deadlock prevention problem in two much smaller and simpler problems, each devoted to the deadlock prevention for a sub-set of resources only. The application of the two designed control sub-nets to the original Petri net together with resource anticipation ensures deadlock prevention. A heuristic algorithm is also provided for the selection of a suitable resource partition, in order to maximize the control quality and performance. Several illustrative benchmark examples are provided.

A resource decoupling approach for deadlock prevention in FMS

PIRODDI, LUIGI;FERRARINI, LUCA
2009-01-01

Abstract

Many deadlock prevention approaches have been suggested in the literature for Petri net models of flexible manufacturing systems, based on siphon enumeration and control. With medium and large problem dimensions, such methods often require both an excessive computational load and extremely large control sub-nets, making them unfeasible or impractical. In this work, a simple approach is proposed for the design of sub-optimal but compact controllers. The approach is based on the anticipated allocation of a sub-set of resources that decouples the deadlock prevention problem in two much smaller and simpler problems, each devoted to the deadlock prevention for a sub-set of resources only. The application of the two designed control sub-nets to the original Petri net together with resource anticipation ensures deadlock prevention. A heuristic algorithm is also provided for the selection of a suitable resource partition, in order to maximize the control quality and performance. Several illustrative benchmark examples are provided.
2009
Deadlock prevention, Deadlock avoidance, Petri nets, Siphons, Flexible manufacturing systems
File in questo prodotto:
File Dimensione Formato  
PiroddiCossalterFerrarini.pdf

Accesso riservato

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 593.67 kB
Formato Adobe PDF
593.67 kB Adobe PDF   Visualizza/Apri

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/11311/250854
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 30
  • ???jsp.display-item.citation.isi??? 25
social impact