On Interval Process Semantics of Petri Nets with Inhibitor Arcs

Mohammed Alqarni, Ryszard Janicki. On Interval Process Semantics of Petri Nets with Inhibitor Arcs. 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 77-97, Springer, 2015. [doi]

Abstract

Abstract is missing.