Katerina Korenblat, Orna Grumberg, Shmuel Katz. Translations between Textual Transition Systems and Petri Nets. In Michael J. Butler, Luigia Petre, Kaisa Sere, editors, Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings. Volume 2335 of Lecture Notes in Computer Science, pages 339-359, Springer, 2002. [doi]
Abstract is missing.