Coloured Petri Nets and the Invariant-Method

Kurt Jensen. Coloured Petri Nets and the Invariant-Method. Theoretical Computer Science, 14:317-336, 1981.

Abstract

Abstract is missing.