A symbolic reachability graph for coloured petri nets

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Performance Analysis Using Stochastic Petri Nets

Molloy · IEEE Transactions on Computers · 1982 · 1.1K citations

Engineering, Computer Engineering, Computer Science +15

Reachability analysis of Petri nets using symmetries

Peter Starke · Systems Analysis Modelling Simulation · 1991 · 87 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

An example of modeling and evaluation of a concurrent program using colored stochastic Petri nets: Lamport's fast mutual exclusion algorithm

Gianfranco Balbo, G. Chiola, Steven C. Bruell et al. · IEEE Transactions on Parallel and Distributed Systems · 1992 · 53 citations

Computing, Computer Engineering, Computer Science +17