Petri nets and algebraic specifications

Hierarchical ordering of sequential processes

E. Dijkstra · Acta Informatica · 1971 · 777 citations

Engineering, Computer Systems, Stochastic Processes +7

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

Extending coloured petri nets

Jonathan Billington · CL Technical Reports · 2021 · 12 citations · Full text

Computing, Architectural Representation, Interconnection Networks +4