Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev. A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. In Kees M. van Hee, Rüdiger Valk, editors, Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi an, China, June 23-27, 2008. Proceedings. Volume 5062 of Lecture Notes in Computer Science, pages 92-111, Springer, 2008. [doi]
Abstract is missing.