Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs

Søren Christensen, Niels Damgaard Hansen. Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings. Volume 691 of Lecture Notes in Computer Science, pages 186-205, Springer, 1993.

Abstract

Abstract is missing.