Concepedia

Model Checking of Time Petri Nets Using the State Class Timed Automaton

Didier Lime, Olivier Roux

Discrete Event Dynamic Systems · 2006 · 77 citations · 15 references

Open access

Concepts

ComputingComputer ScienceComputer SystemsFormal MethodsReal-time SystemsSystems ModelingAutomata TheoryFinite AutomataFinite-state MachinesModel CheckingPetri NetsTemporal LogicPetri Net Model CheckingPetri Net ModelsTimed AutomataTimed Automata SemanticsTimed Finite State MachinesTimed Model CheckingTimed Petri Nets

References

15

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations

Dentistry, Health Promotion, Restitution +1

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

Symbolic Model Checking for Real-Time Systems

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

Computing, Computer Science, Formal Methods +16

Model-Checking in Dense Real-Time

Rajeev Alur, Costas Courcoubetis, David L. Dill · Information and Computation · 1993 · 829 citations

Computing, Computer Engineering, Computer Science +10

KRONOS: a verification tool for real-time systems

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

Computing, Computer Engineering, Computer Science +14