Deadlock Prevention and Liveness Enforcement in Petri nets are mostly addressed with monitor-based methods, designed indirectly using the concept of siphon or the theory of regions. The obtained control solutions are sometimes maximally permissive, but generally not optimal in terms of the number of monitors, nor in the cost of the control subnet. This paper proposes an optimization approach aiming at the direct design of the monitors, that allows for an easy formalization of the various control objectives. An efficient solution scheme, based on a branch-and-bound approach is also presented. The proposed monitor design algorithm yields significant improvements over known benchmark problems.

Monitor Optimization in Petri Net Control

PIRODDI, LUIGI
2011-01-01

Abstract

Deadlock Prevention and Liveness Enforcement in Petri nets are mostly addressed with monitor-based methods, designed indirectly using the concept of siphon or the theory of regions. The obtained control solutions are sometimes maximally permissive, but generally not optimal in terms of the number of monitors, nor in the cost of the control subnet. This paper proposes an optimization approach aiming at the direct design of the monitors, that allows for an easy formalization of the various control objectives. An efficient solution scheme, based on a branch-and-bound approach is also presented. The proposed monitor design algorithm yields significant improvements over known benchmark problems.
2011
Proceedings of 7th Annual IEEE Conference on Automation Science and Engineering
AUT
File in questo prodotto:
File Dimensione Formato  
2011 - CASE - CordonePiroddi.pdf

Accesso riservato

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 320.5 kB
Formato Adobe PDF
320.5 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/600310
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 20
  • ???jsp.display-item.citation.isi??? ND
social impact