In this paper a method to recognize the set of consistent markings in labelled Petri nets is proposed. In this method, the set of unobservable transitions are partitioned into pseudo-observable and strictly unobservable ones, and the subnet induced by the latter is acyclic. The unobservable reach of a marking can be characterized by the union of the strictly unobservable reach of several basis markings, called representative markings, in the unobservable subnet. The set of consistent markings can be characterized by a linear algebraic system based on those representative markings. Based on the representative marking graph, the current marking estimation problem for a labelled Petri net can be efficiently solved. This method does not require the assumption that the unobservable subnet is acyclic.

Marking Estimation in Labelled Petri nets by the Representative Marking Graph

Ma, Ziyue
Primo
;
Tong, Yin;Li, Zhiwu
Penultimo
;
Giua, Alessandro
Ultimo
2017-01-01

Abstract

In this paper a method to recognize the set of consistent markings in labelled Petri nets is proposed. In this method, the set of unobservable transitions are partitioned into pseudo-observable and strictly unobservable ones, and the subnet induced by the latter is acyclic. The unobservable reach of a marking can be characterized by the union of the strictly unobservable reach of several basis markings, called representative markings, in the unobservable subnet. The set of consistent markings can be characterized by a linear algebraic system based on those representative markings. Based on the representative marking graph, the current marking estimation problem for a labelled Petri net can be efficiently solved. This method does not require the assumption that the unobservable subnet is acyclic.
2017
Basis Marking; Discrete Event System; Petri Net; Supervisory Control; Control and Systems Engineering
File in questo prodotto:
File Dimensione Formato  
17ifac_c.pdf

Solo gestori archivio

Tipologia: versione editoriale
Dimensione 465.16 kB
Formato Adobe PDF
465.16 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
17ifac_c_draft.pdf

accesso aperto

Tipologia: versione post-print
Dimensione 477.49 kB
Formato Adobe PDF
477.49 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/11584/234213
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 14
  • ???jsp.display-item.citation.isi??? 12
social impact