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]

Authors

Mohammed Alqarni

This author has not been identified. Look up 'Mohammed Alqarni' in Google

Ryszard Janicki

This author has not been identified. Look up 'Ryszard Janicki' in Google