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.