Most approaches for deadlock prevention and liveness enforcement in Petri nets rely on siphon control methods or the theory of regions to derive monitor-based supervisors. These techniques raise methodological and computational issues, from the existence of feasible solutions to the hardness of guaranteeing maximal permissivity and optimality in the size and cost of the control subnet. Recently, the supervisor design problem has also been reformulated as a direct monitor optimization task based on integer linear programming, which can more effectively deal with the mentioned issues and objectives. This paper introduces an efficient branch-and-bound scheme for the exploration of the solution space of the direct monitor optimization problem. An extensive computational analysis on a set of benchmark instances demonstrates the efficiency of the approach.

Parsimonious Monitor Control of Petri Net models of FMS

PIRODDI, LUIGI
2013

Abstract

Most approaches for deadlock prevention and liveness enforcement in Petri nets rely on siphon control methods or the theory of regions to derive monitor-based supervisors. These techniques raise methodological and computational issues, from the existence of feasible solutions to the hardness of guaranteeing maximal permissivity and optimality in the size and cost of the control subnet. Recently, the supervisor design problem has also been reformulated as a direct monitor optimization task based on integer linear programming, which can more effectively deal with the mentioned issues and objectives. This paper introduces an efficient branch-and-bound scheme for the exploration of the solution space of the direct monitor optimization problem. An extensive computational analysis on a set of benchmark instances demonstrates the efficiency of the approach.
File in questo prodotto:
File Dimensione Formato  
2013 - IEEE TSMC-A - CordonePiroddi.pdf

Accesso riservato

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