Coloured Petri Nets and the Invariant-Method
暂无分享,去创建一个
[1] Kurt Lautenbach,et al. The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.
[2] Horst F. Wedde,et al. Analyzing Program Solutions of Coordination problems by CP-Nets , 1978, MFCS.
[3] Kurt Jensen. How to Find Invariants for Coloured Petri Nets , 1981, MFCS.
[4] Kurt Lautenbach,et al. System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..
[5] Kurt Jensen,et al. A Method to Compare the Descriptive Power of Different Types of Petri Nets , 1980, MFCS.
[6] C. A. Petri. Concepts of Net Theory , 1973, MFCS.