Complexity of Distributed Petri Net Synthesis

Raymond R. Devillers, Ronny Tredup. Complexity of Distributed Petri Net Synthesis. In Yamine Aït Ameur, Florin Craciun, editors, Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings. Volume 13299 of Lecture Notes in Computer Science, pages 15-28, Springer, 2022. [doi]

Authors

Raymond R. Devillers

This author has not been identified. Look up 'Raymond R. Devillers' in Google

Ronny Tredup

This author has not been identified. Look up 'Ronny Tredup' in Google