Place bisimulations in Petri nets
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.
Keywordspartial order theory of concurrency structure and behavior of nets bisimulation theory of nets
Unable to display preview. Download preview PDF.
- [ABS91a]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
- [ABS91b]C. Autant, Z. Belmesk, and Ph. Schnoebelen. Strong bisimilarity on nets revisited. Research Report 847-1, LIFIA-IMAG, Grenoble, March 1991.Google Scholar
- [BC87]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
- [BS90]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
- [Gol88]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
- [GS90]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
- [GV87]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
- [NT84]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
- [Old89]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
- [Old91]E.-R. Olderog. Nets, Terms and Formulas, volume 23 of Cambridge Tracts in Theoretical Computer Science. Cambridge Univ. Press, 1991.Google Scholar
- [Par81]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
- [Vog91]W. Vogler. Bisimulation and action refinement. In Proc. STACS'91, Hamburg, LNCS 480, pages 309–321. Springer-Verlag, February 1991.Google Scholar
- [Wei89]W. P. Weijland. Synchrony and Asynchrony in Process Algebra. PhD thesis, Univ. Amsterdam, June 1989.Google Scholar