Time-based expressivity of time Petri nets for system specification

Modeling and verification of time dependent systems using time Petri nets

Bernard Berthomieu, M. Díaz · IEEE Transactions on Software Engineering · 1991 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

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

Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

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

Computing, Computer Engineering, Computer Science +15

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

A unified high-level Petri net formalism for time-critical systems

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca et al. · IEEE Transactions on Software Engineering · 1991 · 345 citations

Engineering, Computer Science, Systems Engineering +15