Translations between Textual Transition Systems and Petri Nets.

Katerina Korenblat, Orna Grumberg, Shmuel Katz

Browse the full IFM paper archive.