Raymond R. Devillers, Ronny Tredup. Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues. In Luca Bernardinello, Laure Petrucci, editors, Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings. Volume 13288 of Lecture Notes in Computer Science, pages 213-235, Springer, 2022. [doi]
Abstract is missing.