Advertisement

Monitoring Discrete Event Systems Using Petri Net Embeddings

  • Christoforos N. Hadjicostis
  • George C. Verghese
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1639)

Abstract

In this paper we discuss a methodology for monitoring failures and other activity in discrete event systems that are described by Petri nets. Our method is based on embedding the given Petri net model in a larger Petri net that retains the functionality and properties of the given one, perhaps in a non-separate (that is, not immediately identifiable) way. This redundant Petri net embedding introduces “structured redundancy” that can be used to facilitate fault detection, identification and correction, or to offer increased capabilities for monitoring and control. We focus primarily on separate embeddings in which the functionality of the original Petri net is retained in its exact form. Using these embeddings, we construct monitors that operate concurrently with the original system and allow us to detect and identify different types of failures by performing consistency checks between the state of the original Petri net and that of the monitor. The methods that we propose are attractive because the resulting monitors are robust to failures, they may not require explicit acknowledgments from each activity, and their construction is systematic and easily adaptable to restrictions in the available information. We also discuss briefly how to construct non-separate Petri net embeddings.

Keywords

Parity Check Discrete Event System Parity Check Matrix Time Epoch Input Place 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    P. E. Beckmann, Fault-Tolerant Computation Using Algebraic Homomorphisms. PhD thesis, EECS Department, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1992.Google Scholar
  2. 2.
    C. N. Hadjicostis, “Fault-Tolerant Computation in Semigroups and Semirings,” M. Eng. thesis, EECS Department, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1995.Google Scholar
  3. 3.
    T. Murata, “Petri nets: properties, analysis and applications,” Proceedings of the IEEE, vol. 77, pp. 541–580, April 1989.CrossRefGoogle Scholar
  4. 4.
    F. Baccelli, G. Cohen, G. J. Olsder, and J. P. Quadrat, Synchronization and Linearity. New York: Wiley, 1992.Google Scholar
  5. 5.
    C. G. Cassandras, S. Lafortune, and G. J. Olsder, Trends in Control: A European Prospective. London: Springer-Verlag, 1995.Google Scholar
  6. 6.
    C. G. Cassandras, Discrete Event Systems. Boston: Aksen Associates, 1993.Google Scholar
  7. 7.
    V. Y. Fedorov and V. O. Chukanov, “Analysis of the fault tolerance of complex systems by extensions of Petri nets,” Automation and Remote Control, vol. 53, no. 2, pp. 271–280, 1992.Google Scholar
  8. 8.
    J. Sifakis, “Realization of fault-tolerant systems by coding Petri nets,” Journal of Design Automation and Fault-Tolerant Computing, vol. 3, pp. 93–107, April 1979.MathSciNetGoogle Scholar
  9. 9.
    M. Silva and S. Velilla, “Error detection and correction on Petri net models of discrete events control systems,” in Proceedings of the ISCAS, pp. 921–924, 1985.Google Scholar
  10. 10.
    S. B. Wicker, Error Control Systems. Englewood Cliffs, New Jersey: Prentice Hall, 1995.zbMATHGoogle Scholar
  11. 11.
    C. N. Hadjicostis, Coding Approaches to Fault Tolerance in Dynamic Systems. PhD thesis, EECS Department, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1999.Google Scholar
  12. 12.
    C. N. Hadjicostis and G. C. Verghese, “Structured redundancy for fault tolerance in state-space models and Petri nets,” Kybernetika. To appear.Google Scholar
  13. 13.
    K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, “Feedback control of Petri net based on place invariants,” Automatica, vol. 32, no. 1, pp. 15–28, 1996.zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    J. O. Moody and P. J. Antsaklis, “Supervisory control using computationally efficient linear techniques: a tutorial introduction,” in Proceedings of 5th Mediterranean Conference on Control and Systems, (Cyprus), July 1997.Google Scholar
  15. 15.
    P. J. Ramadge and W. M. Wonham, “The control of discrete event systems,” Proceedings of the IEEE, vol. 77, pp. 81–97, 1989.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Christoforos N. Hadjicostis
    • 1
  • George C. Verghese
    • 1
  1. 1.Massachusetts Institute of TechnologyCambridgeUSA

Personalised recommendations