Condensed state spaces for symmetrical Coloured Petri Nets

Parallel program schemata

Richard M. Karp, Raymond E. Miller · Journal of Computer and System Sciences · 1969 · 984 citations

System modelling with high-level Petri nets

Hartmann J. Genrich, Kurt Lautenbach · Theoretical Computer Science · 1981 · 654 citations

Engineering, Computer Science, Systems Engineering +11

Coloured petri nets and the invariant-method

Kurt Jensen · Theoretical Computer Science · 1981 · 611 citations

Computing, Computer Systems, Formal Methods +4

A symbolic reachability graph for coloured petri nets

G. Chiola, C. Dutheillet, G. Franceschinis et al. · Theoretical Computer Science · 1997 · 93 citations

Computing, Computer Engineering, Computer Science +7

Reachability trees for high-level petri nets

Peter Huber, Arne M. Jensen, Leif Obel Jepsen et al. · Theoretical Computer Science · 1986 · 64 citations

Computing, Computer Engineering, Computer Science +7