The practitioner's guide to 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

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

Modelling with Generalized Stochastic Petri Nets

Marco Ajmone Marsan, Gianfranco Balbo, G. Conte et al. · ACM SIGMETRICS Performance Evaluation Review · 1998 · 1.4K citations

Engineering, Systems Engineering, Stochastic Modeling +9

A stubborn attack on state explosion

Antti Valmari · Formal Methods in System Design · 1992 · 575 citations

Computing, Cybersecurity, Dynamical Systems +2

Better verification through symmetry

C. Norris Ip, David L. Dill · Formal Methods in System Design · 1996 · 491 citations

Natural Sciences, Physics, Theoretical Physics +9