In this paper we propose a method to compute a monitor-based supervisor that enforces a GMEC in labelled Petri nets. Due to the presence of indistinguishable transitions, an observable GMEC may not be enforceable by a monitor place in general. To solve this problem we introduce the notion dependency of transitions that can be used to judge whether an event is generated by an input/output transition or its spurious ones, and we present an algorithm to design a monitor-based supervisor based on the notion of Hilbert basis. This approach is purely structural with low online computational cost. Moreover, our supervisor is robust to some change of initial markings or irrelevant part of the plant net.
Design of Monitor-based Supervisors in Labelled Petri Nets
Ma, Ziyue
Primo
;Li, ZhiwuPenultimo
;Giua, AlessandroUltimo
2018-01-01
Abstract
In this paper we propose a method to compute a monitor-based supervisor that enforces a GMEC in labelled Petri nets. Due to the presence of indistinguishable transitions, an observable GMEC may not be enforceable by a monitor place in general. To solve this problem we introduce the notion dependency of transitions that can be used to judge whether an event is generated by an input/output transition or its spurious ones, and we present an algorithm to design a monitor-based supervisor based on the notion of Hilbert basis. This approach is purely structural with low online computational cost. Moreover, our supervisor is robust to some change of initial markings or irrelevant part of the plant net.File | Dimensione | Formato | |
---|---|---|---|
18wodes_b.pdf
Solo gestori archivio
Descrizione: Articolo principale
Tipologia:
versione editoriale (VoR)
Dimensione
445.24 kB
Formato
Adobe PDF
|
445.24 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.