Encoding the dynamics of deterministic systems

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

An Algorithm for the General Petri Net Reachability Problem

Ernst Mayr · SIAM Journal on Computing · 1984 · 457 citations

Computing, Computer Science, Algorithms +14

Modeling and Analysis of Workflows Using Petri Nets

Nabil R. Adam, Vijayalakshmi Atluri, Wei-Kuang Huang · Journal of Intelligent Information Systems · 1998 · 299 citations

Business, Computer Science, Information Systems +11

An algorithm for the general Petri net reachability problem

Ernst Mayr · 1981 · 278 citations · Full text

Computing, Computer Science, Algorithms +14

Biopathways Representation and Simulation on Hybrid Functional Petri Net

Hiroshi Matsuno, Yukiko Tanaka, Hitoshi Aoshima et al. · Studies in health technology and informatics · 2011 · 164 citations

Engineering, Bioengineering, Biology +10