Invariant Semantics of Nets with Inhibitor Arcs

Ryszard Janicki, Maciej Koutny. Invariant Semantics of Nets with Inhibitor Arcs. In Jos C. M. Baeten, Jan Friso Groote, editors, CONCUR 91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings. Volume 527 of Lecture Notes in Computer Science, pages 317-331, Springer, 1991.

Abstract

Abstract is missing.