摘要: This paper shows how invariants can be found for coloured Petri Nets. We define a set of transformation rules, which used to transform the incidence matrix, without changing invariants.
springer.com
acm.org 
sci-hub.st 参考文章(4)
H.J. Genrich, K. Lautenbach, System modelling with high-level Petri nets Theoretical Computer Science. ,vol. 13, pp. 109- 135 ,(1981) , 10.1016/0304-3975(81)90113-4
Kurt Jensen, Coloured petri nets and the invariant-method Theoretical Computer Science. ,vol. 14, pp. 317- 336 ,(1981) , 10.1016/0304-3975(81)90049-9
G. Memmi, G. Roucairol, Linear Algebra in Net Theory Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications. pp. 213- 223 ,(1979) , 10.1007/3-540-10001-6_24
Kurt Jensen, How to Find Invariants for Coloured Petri Nets mathematical foundations of computer science. pp. 327- 338 ,(1981) , 10.1007/3-540-10856-4_100