For the most recent entries see the Petri Nets Newsletter.

Bisimulation and the Reduction of Petri Nets.

Schnoebelen, Philippe; Sidorova, Natalia

In: Nielsen, M.; Simpson, D.: Lecture Notes in Computer Science, Vol. 1825: 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 2000, pages 409-423. Springer-Verlag, 2000.

Abstract: We investigate structural equivalences on places of P/T nets that allow reductions compatible with bisimilarity. This comes with a study of two kinds of reductions: fusion of equivalent places, and replacement of some places by other ones. When effectivity issues are considered, we are lead to a variant of place bisimulation that takes into account a set of ``relevant'' markings.


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

Back to the Petri Nets Bibliography