Properties of Plain, Pure, and Safe Petri Nets - with some Applications to Petri Net Synthesis

Kamila Barylska, Eike Best. Properties of Plain, Pure, and Safe Petri Nets - with some Applications to Petri Net Synthesis. 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 111-125, CEUR-WS.org, 2016. [doi]

Abstract

Abstract is missing.