论文信息 - Petri Nets with Individual Tokens - 字舞流文

Petri Nets with Individual Tokens

Wolfgang Reisig | W. Reisig

[1] James W. Thatcher,et al. Data Type Specification: Parameterization and the Power of Specification Techniques , 1982, TOPL.

[2] Kurt Jensen. How to Find Invariants for Coloured Petri Nets , 1981, MFCS.

[3] Kurt Lautenbach,et al. System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[4] Kurt Jensen,et al. Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[5] Kurt Lautenbach,et al. The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[6] Hartmann J. Genrich,et al. A Dictionary of Some Basic Notions of Net Theory , 1979, Advanced Course: Net Theory and Applications.