On the Equivalence of Observation Structures for Petri Net Generators

Observation structures considered for Petri net generators usually assume that the firing of transitions may be observed through a static mask and that the marking of some places may be measurable. These observation structures, however, are rather limited, namely they do not cover all cases of practical interest where complex observations are possible. We consider in this paper more general ones, by correspondingly defining two new classes of Petri net generators: labeled Petri nets with outputs (LPNOs) and adaptive labeled Petri nets (ALPNs). To compare the modeling power of different Petri net generators, the notion of observation equivalence is proposed. ALPNs are shown to be the class of bounded generators possessing the highest modeling power. Looking for bridges between the different formalisms, we first present a general procedure to convert a bounded LPNO into an equivalent ALPN or even into an equivalent labeled Petri net (if any exists). Finally, we discuss the possibility of converting an unbounded LPNO into an equivalent ALPN.

[1]  Reinhard Diestel,et al.  Graph Theory , 1997 .

[2]  Tommy R. Jensen,et al.  Graph Coloring Problems , 1994 .

[3]  João Carlos Basilio,et al.  Robust diagnosis of discrete event systems against intermittent loss of observations , 2012, Autom..

[4]  D. Koenig,et al.  An original Petri net state estimation by a reduced Luenberger observer , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[5]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[6]  Sheng-Luen Chung.  Diagnosing PN-based models with partial observable transitions , 2005, Int. J. Comput. Integr. Manuf..

[7]  Alessandro Giua,et al.  Observation Equivalence of Petri Net Generators , 2014, WODES.

[8]  Alessandro Giua,et al.  Marking estimation of Petri nets with silent transitions , 2004 .

[9]  Maciej Koutny,et al.  Modelling Opacity Using Petri Nets , 2005, WISP@ICATPN.

[10]  Alessandro Giua,et al.  Observer-based state-feedback control of timed Petri nets with deadlock recovery , 2004, IEEE Transactions on Automatic Control.

[11]  Stavros Tripakis,et al.  Fault diagnosis with dynamic observers , 2008, 2008 9th International Workshop on Discrete Event Systems.

[12]  Stéphane Lafortune,et al.  On Codiagnosability and Coobservability With Dynamic Observations , 2011, IEEE Transactions on Automatic Control.

[13]  Walter Ukovich,et al.  Fault Detection by Labeled Petri Nets in Centralized and Distributed Approaches , 2013, IEEE Transactions on Automation Science and Engineering.

[14]  D. de Werra,et al.  Graph Coloring Problems , 2013 .

[15]  Alessandro Giua,et al.  Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[16]  Dimitri Lefebvre.  On-Line Fault Diagnosis With Partially Observed Petri Nets , 2014, IEEE Transactions on Automatic Control.

[17]  Shigemasa Takai,et al.  Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions , 2009, 2009 American Control Conference.

[18]  Alessandro Giua,et al.  General observation structures for Petri nets , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[19]  Toshimitsu Ushio,et al.  Fault detection based on Petri net models with faulty behaviors , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[20]  Alessandro Giua,et al.  Fault detection for discrete event systems using Petri nets with unobservable transitions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[21]  Alessandro Giua,et al.  Verification of initial-state opacity in Petri nets , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[22]  Dimitri Lefebvre.  Diagnosis with Petri Nets According to Partial Events and States Observation , 2012 .

[23]  Christoforos N. Hadjicostis,et al.  Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets , 2009, Discret. Event Dyn. Syst..

[24]  Alessandro Giua,et al.  Verification of current-state opacity using Petri nets , 2015, 2015 American Control Conference (ACC).

[25]  Alessandro Giua,et al.  Observability of place/transition nets , 2002, IEEE Trans. Autom. Control..

[26]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.