Uli Schlachter. Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets. In Shmuel Tomi Klein, Carlos MartÃn-Vide, Dana Shapira, editors, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Volume 10792 of Lecture Notes in Computer Science, pages 296-307, Springer, 2018. [doi]
Abstract is missing.