G-Nets: A petri net based approach for logical and timing analysis of complex software systems

Petri nets: Properties, analysis and applications

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

Engineering, Computer Engineering, Computer Science +15

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

Marco Ajmone Marsan, G. Conte, Gianfranco Balbo · ACM Transactions on Computer Systems · 1984 · 1.3K citations

Computing, Computer Science, Computer Systems +14

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

Processing fuzzy temporal knowledge

D. F. DuBois, H. Prade · IEEE Transactions on Systems Man and Cybernetics · 1989 · 285 citations

Computing, Computer Science, Knowledge Representation +16

A method for stepwise refinement and abstraction of Petri nets

I. Suzuki, T. Murata · Journal of Computer and System Sciences · 1983 · 283 citations

Computing, Computer Engineering, Computer Science +7