Model Checking of Time Petri Nets Using the State Class Timed Automaton
Discrete Event Dynamic Systems
State space computation and analysis of Time Petri Nets
Theory and Practice of Logic Programming
On-the-fly TCTL model checking for time Petri nets
Theoretical Computer Science
From time Petri nets to timed automata: an untimed approach
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Satisfaction and coherence of deadline constraints in inter-organizational workflows
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Model checking of time Petri nets
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Zenoness detection and timed model checking for real time systems
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Efficient computation of quantitative properties of real-time preemptive systems
International Journal of Critical Computer-Based Systems
A formal framework to specify and verify real-time properties on critical systems
International Journal of Critical Computer-Based Systems
| Hi-index | 0.00 |
The presented study is concerned with the development of real time distributed applications and more precisely with the verification of temporal properties in a really distributed context (taking into account the characteristics of real architecture). We show how to use a Time Petri Net based model of application in order to prove that a communication system (networks, protocols) and a mapping of tasks meet specified temporal properties.