Non-atomic Transition Firing in Contextual Nets

Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon. Non-atomic Transition Firing in Contextual Nets. In Raymond R. Devillers, Antti Valmari, editors, Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings. Volume 9115 of Lecture Notes in Computer Science, pages 117-136, Springer, 2015. [doi]

Abstract

Abstract is missing.