State space analysis of Petri nets with relation-algebraic methods

On model checking for non-deterministic infinite-state systems

E. Allen Emerson, Kedar S. Namjoshi · 2002 · 133 citations

Computing, Computer Science, Computer Systems +17

Decidability of model checking for infinite-state concurrent systems

Javier Esparza · Acta Informatica · 1997 · 129 citations

Computing, Computer Science, Formal Methods +11

Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis

M. Notomi, T. Murata · IEEE Transactions on Software Engineering · 1994 · 90 citations

Computing, Computer Engineering, Computer Science +13

Performance Petri net analysis of communications protocol software by delay-equivalent aggregation

C.M. Woodside, Yao Li · 2002 · 78 citations

Computing, Computer Science, Computer Systems +17

Decidability Issues for Petri Nets -- a survey

Javier Esparza, Mogens Nielsen · arXiv (Cornell University) · 2024 · 75 citations · Full text

Computing, Computer Science, Formal Methods +13