The Third Workshop on Future Trends of Distributed Computing Systems (1992)
April 14, 1992 to April 16, 1992
R.J. Coelho da Costa , LAAS/CNRS, Toulouse, France
J.-P. Courtiat , LAAS/CNRS, Toulouse, France
This paper deals with the study of behavioral equivalences between labeled (place/transition) Petri nets preserving the causal relationship among transition firings. This is achieved by defining a very slight modification in the conventional Petri net formalism, leading to associating an additional information to each token of the net. Following this approach, bisimulation equivalences are defined within a partial order framework, in a way similar to Park's notion of bisimilarity originally defined for interleaving based models.<
formal specification, Petri nets, protocols
R. Coelho da Costa and J. Courtiat, "Using Petri nets as a model for Petri nets," The Third Workshop on Future Trends of Distributed Computing Systems(FTDCS), Taipei, Taiwan, , pp. 41-47.