Structural translation from Time Petri Nets to Timed Automata

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.4K citations

Engineering, Formal Methods, Automaton Network +4

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

Petri Net, Engineering, Real-time System Design +22

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 823 citations · Full text

Engineering, Real-time Program, Verification +22

KRONOS: a verification tool for real-time systems

Sergio Yovine · International Journal on Software Tools for Technology Transfer · 1997 · 580 citations

Verification Tool, Real-time System, Engineering +11

The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat · International Journal of Production Research · 2004 · 388 citations

Petri Net, Engineering, Reachability Problem +14