Advertisement

On proving large distributed systems: Petri net modules verification

  • Irina A. Lomazova
Theory
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1277)

Abstract

In this paper we present a formal basis for validating large distributed systems. Distributed systems are described by composition of coloured Petri-Net = modules. Compositional proof technique for such systems, where properties are = specified in terms of a linear time temporal logic, is proposed.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Anisimov, N., Kovalenko, A.: Asynchronous Composition of Petri Nets via Places. In: Perspectives of System Informatics (Proceedings of the Andrei Ershov Second International Memorial Conference). Novosibirsk (1996) 214–219.Google Scholar
  2. 2.
    Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley Publishing Company, 1988.Google Scholar
  3. 3.
    Cleaveland, R., Smolka, A. (Eds.): Strategic Directions in Computing Research. Concurrency Working Group Report. Bulletin EATCS, 60 (1996) 97–122.Google Scholar
  4. 4.
    Jensen,K.: Coloured Petri Nets. Vol.l. Eatcs Monographs on TCS, Springer-Verlag, 1994.Google Scholar
  5. 5.
    Liu,H., Park,J.-C., Miller, R.E.: On Hybrid Synthesis for Hierarchical Structured Petri Nets. Technical Report CS-TR-3628, University of Maryland, Colledge Park, = 1996.Google Scholar
  6. 6.
    Lomazova, I.: A Complete Axiomatics for Proving Safety Properties of Petri Nets. In: Perspectives of System Informatics (Proceedings of the Andrei Ershov Second International Memorial Conference). Novosibirsk (1996) 268–272.Google Scholar
  7. 7.
    Manna, Z., Pnueli A.: The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.Google Scholar
  8. 8.
    Reisig, W.: Petri Nets. Springer-Verlag, 1985.Google Scholar
  9. 9.
    Reisig, W.: Elements of Temporal Logic Coping with Concurrency. Technical Report TR 342/23/92, München: Technische Universität, Institut für Informatik, 1992.Google Scholar
  10. 10.
    Smith, E.: A Survey on High-Level Petri-Net Theory. Bulletin EATCS, 59 (1996) 267–293.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Irina A. Lomazova
    • 1
  1. 1.Program Systems Institute of Russian Academy of SciencePereslavl-ZalesskyRussia

Personalised recommendations