How to Find Invariants for Coloured Petri Nets
暂无分享,去创建一个
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.
[1] Kurt Jensen,et al. Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..
[2] Gérard Roucairol,et al. Linear Algebra in Net Theory , 1979, Advanced Course: Net Theory and Applications.
[3] Kurt Lautenbach,et al. System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..