Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations

Robert Lorenz, Johannes Metzger, Lev Sorokin. Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations. 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 21-38, CEUR-WS.org, 2017. [doi]

Authors

Robert Lorenz

This author has not been identified. Look up 'Robert Lorenz' in Google

Johannes Metzger

This author has not been identified. Look up 'Johannes Metzger' in Google

Lev Sorokin

This author has not been identified. Look up 'Lev Sorokin' in Google