Strong bisimilarity on nets: a new concept for comparing net semantics

We extend Park's notion of strong bisimilarity from automata to safe Petri nets. The underlying strong bisimulation is a relation on places which when lifted to the reachable markings preserves their token game and distribution over the places. As a consequence, strongly bisimilar nets have exactly the same concurrent computations as formalised by their causal nets.

[1]  Alan Mycroft,et al.  On the Relationship of CCS and Petri Nets , 1984, ICALP.

[2]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[3]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[4]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[5]  Ursula Goltz.  On Representing CCS Programs by Finite Petri Nets , 1988, MFCS.

[6]  Ernst-Rüdiger Olderog,et al.  Operational Petri net semantics for CCSP , 1986, European Workshop on Applications and Theory of Petri Nets.

[7]  Ugo Montanari,et al.  Concurrent Histories: A Basis for Observing Distributed Systems , 1987, J. Comput. Syst. Sci..

[8]  Rocco De Nicola,et al.  CCS is an (Augmented) Contact Free C/E System , 1986, Mathematical Models for the Semantics of Parallelism.

[9]  Eike Best.  COSY: Its Relation to Nets and CSP , 1986, Advances in Petri Nets.

[10]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[11]  Rob J. van Glabbeek,et al.  Petri Net Models for Algebraic Theories of Concurrency , 1987, PARLE.

[12]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[13]  Glynn Winskel,et al.  A New Definition of Morphism on Petri Nets , 1984, STACS.

[14]  Gordon Plotkin,et al.  An Operational Semantics for CSP. , 1982 .

[15]  Rocco De Nicola,et al.  On the consistency of 'truly concurrent' operational and denotational semantics , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[16]  Glynn Winskel,et al.  Event Structure Semantics for CCS and Related Languages , 1982, ICALP.

[17]  Lucia Pomello,et al.  Some equivalence notions for concurrent systems. An overview , 1985, Applications and Theory in Petri Nets.