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, ZiyuePrimo
;Tong, Yin;Li, ZhiwuPenultimo
;Giua, AlessandroUltimo
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.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.