Transforming Dynamic Condition Response Graphs to Safe Petri Nets

Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats. Transforming Dynamic Condition Response Graphs to Safe Petri Nets. In Luís Gomes 0001, Robert Lorenz 0001, editors, Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings. Volume 13929 of Lecture Notes in Computer Science, pages 417-439, Springer, 2023. [doi]

Abstract

Abstract is missing.