Benjamin Meis, Robin Bergenthum, Jörg Desel. Synthesis of Elementary Net Systems with Final Configurations. In Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona, editors, Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, Torun, Poland, June 20-21, 2016. Volume 1592 of CEUR Workshop Proceedings, pages 47-57, CEUR-WS.org, 2016. [doi]
Abstract is missing.