For the most recent entries see the Petri Nets Newsletter.

Place Bisimulations in Petri Nets.

Autant, C.; Schnoebelen, Ph.

In: Jensen, K.: Lecture Notes in Computer Science, Vol. 616; 13th International Conference on Application and Theory of Petri Nets 1992, Sheffield, UK, pages 45-61. Springer-Verlag, June 1992.

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.

Keywords: partial order theory of concurrency; structure and behavior of nets; besimulation theory of nets.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography