For the most recent entries see the Petri Nets Newsletter.

High Undecidability of Weak Bisimilarity for Petri Nets.

Jancar, Petr

In: Mosses, P.D.; Nielsen, M.; Schwartzbach, M.I.: Lecture Notes in Computer Science, Vol. 915; TAPSOFT'95: Theory and Practice of Software Development, Aarhus, Denmark, May 22-26, 1995, pages 349-363. Springer-Verlag, 1995.


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

Back to the Petri Nets Bibliography