Petri Net Synthesis from a Reachability Set

Eike Best, Raymond R. Devillers. Petri Net Synthesis from a Reachability Set. In Lars Michael Kristensen, Jan Martijn E. M. van der Werf, editors, Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings. Volume 14628 of Lecture Notes in Computer Science, pages 223-243, Springer, 2024. [doi]

Abstract

Abstract is missing.