Petri net (PN) models of production processes are subject to a number of heterogeneous constraints, both static (e.g., limitation and sharing of resources, job limitation) and behavioral (e.g., liveness, reversibility). All of these constraints can be indirectly formulated as generalized mutual exclusion constraints (GMECs), which are conveniently implemented as monitor places suitably connected to the transitions of the open-loop PN plant model. The design procedure is typically sequential, dealing separately with each control objective, possibly resulting in a redundant supervisor. The process is further complicated in the presence of uncontrollable transitions. An integrated modeling approach is here proposed to solve the redundancy problem by accounting for all the specifications in a single design step that optimizes the number of required GMECs and the permissivity of the resulting supervisor. The supervisor can be then implemented as a monitor-based supervisor or, in some cases, as a logical predicate.

Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions

PIRODDI, LUIGI
2013-01-01

Abstract

Petri net (PN) models of production processes are subject to a number of heterogeneous constraints, both static (e.g., limitation and sharing of resources, job limitation) and behavioral (e.g., liveness, reversibility). All of these constraints can be indirectly formulated as generalized mutual exclusion constraints (GMECs), which are conveniently implemented as monitor places suitably connected to the transitions of the open-loop PN plant model. The design procedure is typically sequential, dealing separately with each control objective, possibly resulting in a redundant supervisor. The process is further complicated in the presence of uncontrollable transitions. An integrated modeling approach is here proposed to solve the redundancy problem by accounting for all the specifications in a single design step that optimizes the number of required GMECs and the permissivity of the resulting supervisor. The supervisor can be then implemented as a monitor-based supervisor or, in some cases, as a logical predicate.
2013
European Control Conference
9783952417348
File in questo prodotto:
File Dimensione Formato  
2013 - ECC - BasileCordonePiroddi.pdf

Accesso riservato

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