On-Line Monitoring of Large Petri Net Models Under Partial Observation

We consider a Petri Net model of the plant. The observation is given by a subset of transitions whose occurrence is always and immediately sensed by a monitoring agent. Other transitions not in this subset are silent (unobservable). Classical on-line monitoring techniques, which are based on the estimation of the current state of the plant and the detection of the occurrence of undesirable events (faults), are not suitable for models of large systems due to high spatial complexity (exponential in the size of the entire model). In this paper we propose a method based on the explanation of plant observation. A legal trace minimally explains the observation if it includes all unobservable transitions whose firing is needed to enable the observed transitions. To do so, starting from an observable transition, using backward search techniques, a set of minimal explanations is derived, which are sufficient for detecting whether a fault event must have occurred for sure in the plant or not. The technique also allows production of a set of basis markings for the estimation of the current state of the plant. The set of all possible current markings can then be characterized as the unobservable reach of these basis markings. The computational complexity of the algorithm depends on the size of the largest connected subnet which includes only unobservable transitions. This allows monitoring of plants of any size in which there is no large unobservable subnet. We also illustrate the applicability of the method for the monitoring of a class of infinite state systems, unbounded Petri Nets with unobservable trap circuits, and we show how this can be useful for distributed implementations.

[1]  R.K. Boel,et al.  Distributed Diagnosis for Petri Nets models with unobservable interactions via common places , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[2]  Alessandro Giua,et al.  State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions* , 2005, Discret. Event Dyn. Syst..

[3]  Y. Pencole,et al.  Incremental decentralized diagnosis approach for the supervision of a telecommunication network , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[4]  S. Rao Kosaraju,et al.  Decidability of reachability in vector addition systems (Preliminary Version) , 1982, STOC '82.

[5]  Parosh Aziz Abdulla,et al.  Unfoldings of Unbounded Petri Nets , 2000, CAV.

[6]  Antti Valmari,et al.  Stubborn sets for reduced state space generation , 1991, Applications and Theory of Petri Nets.

[7]  Albert Benveniste,et al.  Distributed Monitoring of Concurrent and Asynchronous Systems* , 2003, Discret. Event Dyn. Syst..

[8]  Gianfranco Lamperti,et al.  Diagnosis of discrete-event systems from uncertain temporal observations , 2002, Artif. Intell..

[9]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

[10]  W. M. Wonham,et al.  Distributed diagnosis for qualitative systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[11]  L. Dickson.  Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors , 1913 .

[12]  Javier Esparza,et al.  Model Checking Using Net Unfoldings , 1993, Sci. Comput. Program..

[13]  Joost Engelfriet,et al.  Branching processes of Petri nets , 1991, Acta Informatica.

[14]  Kim G. Larsen,et al.  Verification of Large State/Event Systems Using Compositionality and Dependency Analysis , 1998, Formal Methods Syst. Des..

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

[16]  A. Willsky,et al.  Observability of discrete event dynamic systems , 1990 .

[17]  Pierre Wolper,et al.  Using partial orders for the efficient verification of deadlock freedom and safety properties , 1991, Formal Methods Syst. Des..

[18]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

[19]  René Boel,et al.  Distributed contextual diagnosis for very large systems , 2004 .

[20]  Giorgio Delzanno,et al.  Covering sharing trees: a compact data structure for parameterized verification , 2004, International Journal on Software Tools for Technology Transfer.

[21]  René Boel,et al.  Petri nets model based fault section detection and diagnosis in electrical power networks , 2003 .

[22]  George C. Verghese,et al.  Power system monitoring using Petri net embeddings , 2000 .

[23]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[24]  Shengbing Jiang,et al.  Failure diagnosis of discrete-event systems with linear-time temporal logic specifications , 2004, IEEE Transactions on Automatic Control.

[25]  Luigi Portinale,et al.  B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation , 1994, Application and Theory of Petri Nets.

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

[27]  Olli Varis,et al.  A Belief Network Approach to Optimization and Parameter Estimation: Application to Resource and Environmental Management , 1998, Artif. Intell..

[28]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[29]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[30]  Alain Finkel,et al.  Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited , 2002, INFINITY.

[31]  V. S. Srinivasan,et al.  Fault detection/monitoring using time Petri nets , 1993, IEEE Trans. Syst. Man Cybern..

[32]  Lawrence E. Holloway,et al.  Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations , 1994 .

[33]  S. Lafortune,et al.  Optimal control of discrete event systems under partial observation , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[34]  Walter Vogler,et al.  An Improvement of McMillan's Unfolding Algorithm , 1996, Formal Methods Syst. Des..

[35]  Feng Lin,et al.  Diagnosability of discrete event systems and its applications , 1994, Discret. Event Dyn. Syst..

[36]  Stéphane Lafortune,et al.  Distributed Diagnosis of Discrete-Event Systems Using Petri Nets , 2003, ICATPN.

[37]  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.

[38]  Albert Benveniste,et al.  Distributed Monitoring of Concurrent and Asynchronous Systems , 2003, CONCUR.

[39]  George Jiroveanu,et al.  Fault Diagnosis for Large Petri Nets , 2006 .

[40]  Sheila A. McIlraith.  Explanatory Diagnosis: Conjecturing Actions to Explain Observations , 1998, KR.

[41]  Audine Subias,et al.  Chronicle modeling by Petri nets for distributed detection of process failures , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[42]  Robert Valette,et al.  RELATIONSHIPS BETWEEN PETRI NETS AND CONSTRAINT GRAPHS: APPLICATION TO MANUFACTURING , 2002 .

[43]  Lawrence E. Holloway,et al.  Diagnosis of condition systems using causal structure , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[44]  P. Ramadge.  Observability of discrete event systems , 1986, 1986 25th IEEE Conference on Decision and Control.

[45]  Alban Grastien,et al.  Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis , 2006, IJCAI.

[46]  Albert Benveniste,et al.  Partial order diagnosability of discrete event systems using petri net unfoldings , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[47]  René Boel,et al.  Contextual Analysis of Petri Nets for Distributed Applications , 2004 .

[48]  Christoforos N. Hadjicostis,et al.  Monitoring Discrete Event Systems Using Petri Net Embeddings , 1999, ICATPN.

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

[50]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[51]  Akihiko Yokoyama,et al.  Expert system for fault section estimation of power systems using time-sequence information , 1992 .