A Petri Net Model for Hardware/Software Codesign

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Parallel program schemata

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

Recoverability of Communication Protocols--Implications of a Theoretical Study

Philip M. Merlin, David Farber · IRE Transactions on Communications Systems · 1976 · 874 citations

Computing, Computer Science, Computer Systems +14

Safety Analysis Using Petri Nets

Nancy G. Leveson, Janice L. Stolzy · IEEE Transactions on Software Engineering · 1987 · 438 citations

Engineering, Computer Engineering, Systems Engineering +17

The covering and boundedness problems for vector addition systems

Charles Rackoff · Theoretical Computer Science · 1978 · 380 citations

Natural Sciences, Computer Science, Mathematics +13