1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Department of Computer Science, Science and Technology, Aarhus University3 Department of Computer Science, Science and Technology, Aarhus University
This paper shows how invariants can be found for coloured Petri Nets. We define a set of transformation rules, which can be used to transform the incidence matrix, without changing the set of invariants.
Lecture Notes in Computer Science, 1981, p. 327-338
Main Research Area:
Lecture Notes in Computer Science
Symposium on Mathematical Foundations of Computer Science, 1981