Tools for Curry-Coloured Petri Nets

Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann. Tools for Curry-Coloured Petri Nets. In Susanna Donatelli, Stefan Haar, editors, Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings. Volume 11522 of Lecture Notes in Computer Science, pages 101-110, Springer, 2019. [doi]


Abstract is missing.