Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

Place bisimulations in Petri nets

  • Submitted Papers
  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1992 (ICATPN 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 616))

Included in the following conference series:

Abstract

Place bisimulations are bisimulations between places of Petri nets. We propose a new definition for this basic (new) concept, study several derivatives and classify them.

The main practical application of place bisimulation is as a method for the simplification of nets in a semantically correct way. We show how this simplification can be done in polynomial time.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. C. Autant, Z. Belmesk, and Ph. Schnoebelen. Strong bisimilarity on nets revisited (extended abstract). In Proc. PARLE'91, vol. II: Parallel Languages, Eindhoven, LNCS 506, pages 295–312. Springer-Verlag, June 1991.

    Google Scholar 

  2. C. Autant, Z. Belmesk, and Ph. Schnoebelen. Strong bisimilarity on nets revisited. Research Report 847-1, LIFIA-IMAG, Grenoble, March 1991.

    Google Scholar 

  3. G. Boudol and I. Castellani. On the semantics of concurrency: Partial orders and transition systems. In Proc. CAAP'87, Pisa, LNCS 249, pages 123–137. Springer-Verlag, March 1987.

    Google Scholar 

  4. E. Best and R. Devillers. Sequential and concurrent behaviour in Petri net theory. Theoretical Computer Science, 55:87–136, 1987.

    Article  Google Scholar 

  5. J. Bradfield and C. Stirling. Verifying temporal properties of processes. In Proc. CONCUR'90, Amsterdam, LNCS 458, pages 115–125. Springer-Verlag, August 1990.

    Google Scholar 

  6. U. Goltz. On representing CCS programs by finite Petri nets. In Proc. Math. Found. Comp. Sci. LNCS 324, pages 339–350. Springer-Verlag, 1988.

    Google Scholar 

  7. H. Garavel and J. Sifakis. Compilation and verification of LOTOS specifications. In Proc. 10th IFIP Conf. Protocol Specification, Testing and Verification, Ottawa, June 1990.

    Google Scholar 

  8. R. J. van Glabbeek and F. Vaandrager. Petri net models for algebraic theories of concurrency. In Proc. PARLE'87, vol. II: Parallel Languages, Eindhoven, LNCS 259, pages 224–242. Springer-Verlag, June 1987.

    Google Scholar 

  9. M. Nielsen and P. S. Thiagarajan. Degrees of non-determinism and concurrency: A Petri net view. In Proc. 4th Conf. on Foundations of Software Technology and Theor. Comp. Sci. Bangalore, India, LNCS 181, pages 89–117. Springer-Verlag, December 1984.

    Google Scholar 

  10. E.-R. Olderog. Strong bisimilarity on nets: a new concept for comparing net semantics. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, LNCS 354, pages 549–573. Springer-Verlag, 1989.

    Google Scholar 

  11. E.-R. Olderog. Nets, Terms and Formulas, volume 23 of Cambridge Tracts in Theoretical Computer Science. Cambridge Univ. Press, 1991.

    Google Scholar 

  12. D. Park. Concurrency and automata on infinite sequences. In Proc. 5th GI Conf. on Th. Comp. Sci., LNCS 104, pages 167–183. Springer-Verlag, March 1981.

    Google Scholar 

  13. V. R. Pratt. Modeling concurrency with partial orders. Int. J. Parallel Programming, 15(1):33–71, 1986.

    Article  Google Scholar 

  14. W. Vogler. Bisimulation and action refinement. In Proc. STACS'91, Hamburg, LNCS 480, pages 309–321. Springer-Verlag, February 1991.

    Google Scholar 

  15. W. P. Weijland. Synchrony and Asynchrony in Process Algebra. PhD thesis, Univ. Amsterdam, June 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

K. Jensen

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Autant, C., Schnoebelen, P. (1992). Place bisimulations in Petri nets. In: Jensen, K. (eds) Application and Theory of Petri Nets 1992. ICATPN 1992. Lecture Notes in Computer Science, vol 616. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55676-1_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-55676-1_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55676-3

  • Online ISBN: 978-3-540-47270-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics