A rule-based system for generating a ladder logic control program from a high-level systems model

Petri Net theory and the modeling of systems

Mathematics and Computers in Simulation · 1982 · 3.6K citations

Petri Net, System Of System, Engineering +4

Performance Analysis Using Stochastic Petri Nets

Molloy · IEEE Transactions on Computers · 1982 · 1.1K citations

Petri Net, Engineering, K-bounded Petri Nets +15

Recoverability of Communication Protocols--Implications of a Theoretical Study

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

Petri Net, Engineering, Verification +19

Structured Analysis (SA): A Language for Communicating Ideas

Douglas T. Ross · IEEE Transactions on Software Engineering · 1977 · 862 citations

Engineering, Semantics, Syntax +16

Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

C. V. Ramamoorthy, G.S. Ho · IEEE Transactions on Software Engineering · 1980 · 561 citations

Petri Net, Petri Net Model, Engineering +17