In this paper we study the problem of enforcing a generalized mutual exclusion constraint (GMEC) in a labeled Petri net that contains indistinguishable transitions by a monitor-based supervisor. We show that a monitor-based supervisor can be designed based on the influence of events if the GMEC is deterministic. On the other hand, for a nondeterministic GMEC, we introduce the notion of dependency of transitions, which provides a quantitative relation between the transition firings and the occurrence of dependent events. Based on the dependency of transitions, we propose a structural approach to compute a monitor function using Hilbert basis, which helps us develop an algorithm to design an online supervisor using the monitor function. Our approach has low online computational load since marking estimation is avoided.

Design of supervisors for linear marking specifications in labeled Petri nets

Ma Z.
Primo
;
Li Z.
Penultimo
;
Giua A.
Ultimo
2022-01-01

Abstract

In this paper we study the problem of enforcing a generalized mutual exclusion constraint (GMEC) in a labeled Petri net that contains indistinguishable transitions by a monitor-based supervisor. We show that a monitor-based supervisor can be designed based on the influence of events if the GMEC is deterministic. On the other hand, for a nondeterministic GMEC, we introduce the notion of dependency of transitions, which provides a quantitative relation between the transition firings and the occurrence of dependent events. Based on the dependency of transitions, we propose a structural approach to compute a monitor function using Hilbert basis, which helps us develop an algorithm to design an online supervisor using the monitor function. Our approach has low online computational load since marking estimation is avoided.
2022
Supervisory control; Petri net; Discrete event system; Hilbert basis
File in questo prodotto:
File Dimensione Formato  
22aut.pdf

Solo gestori archivio

Descrizione: articolo online
Tipologia: versione editoriale
Dimensione 732.41 kB
Formato Adobe PDF
732.41 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/11584/326399
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 5
social impact