Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues

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]

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