Some decision problems related to the reachability problem for Petri nets

Computation: Finite and Infinite Machines.

D. A. Clarke, Marvin Minsky · American Mathematical Monthly · 1968 · 2.6K citations

Computing, Computer Science, Automation +6

Parallel program schemata

Richard M. Karp, Raymond E. Miller · Journal of Computer and System Sciences · 1969 · 984 citations

Cooperating Sequential Processes

E. Dijkstra · 1968 · 349 citations · Full text

PETRI NET LANGUAGE

M. Hack · 1976 · 213 citations

Computing, Computer Science, Algorithms +13

Some decision problems related to the reachability problem for Petri nets

Toshiro Araki, Tadao Kasami · Theoretical Computer Science · 1976 · 107 citations

Computing, Computer Systems, Decision Analysis +4