Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski. On Synthesising Step Alphabets for Acyclic Invariant Structures. 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 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017. Volume 1847 of CEUR Workshop Proceedings, pages 76-88, CEUR-WS.org, 2017. [doi]
Abstract is missing.