Petri net algorithms in the theory of matrix grammars

An Algorithm for the General Petri Net Reachability Problem

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

Mathematical Programming, Petri Net, Final Marking +15

Decidability of reachability in vector addition systems (Preliminary Version)

S. Rao Kosaraju · 1982 · 319 citations

Reachability Analysis, Engineering, Reachability Problem +11

Programmed Grammars and Classes of Formal Languages

Daniel J. Rosenkrantz · Journal of the ACM · 1969 · 231 citations · Full text

Syntax, Language Documentation, Programmed Grammars +14

One-way stack automata

Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison · Journal of the ACM · 1967 · 222 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +11

1981 international computing symposium

Computer Networks (1976) · 1981 · 98 citations

Engineering, Distributed Computing, Computer Engineering +4