The Community for Technology Leaders
The Third Workshop on Future Trends of Distributed Computing Systems (1992)
Taipei, Taiwan
April 14, 1992 to April 16, 1992
ISBN: 0-8186-2755-7
pp: 41-47
R.J. Coelho da Costa , LAAS/CNRS, Toulouse, France
J.-P. Courtiat , LAAS/CNRS, Toulouse, France
ABSTRACT
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.<>
INDEX TERMS
formal specification, Petri nets, protocols
CITATION

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.
doi:10.1109/FTDCS.1992.217516
91 ms
(Ver 3.3 (11022016))