How to Find Invariants for Coloured Petri Nets

Kurt Jensen. How to Find Invariants for Coloured Petri Nets. In Jozef Gruska, Michal Chytil, editors, Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings. Volume 118 of Lecture Notes in Computer Science, pages 327-338, Springer, 1981.

Abstract

Abstract is missing.