Improving the Verification of Real-Time Systems Using Time Petri Nets

2017 ◽  
Vol 28 (6) ◽  
pp. 774-784
Author(s):  
Pedro Manuel González del Foyo ◽  
José Reinaldo Silva
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Time Petri Nets ◽  
Real Time Systems ◽  
Time Systems

scholarly journals Time Petri Nets with Action Duration

2013 ◽  
Vol 4 (2) ◽  
pp. 62-83 ◽  
Author(s):  
N. Belala ◽  
D.E. Saїdouni ◽  
R. Boukharrou ◽  
A.C. Chaouche ◽  
A. Seraoui ◽  
...  
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Timed Automata ◽  
Operational Semantics ◽  
Time Interval ◽  
Timing Constraints ◽  
Time Petri Nets ◽  
Real Time Systems ◽  
High Level ◽  
Time Systems

The design of real-time systems needs a high-level specification model supporting at the same time timing constraints and actions duration. The authors introduce in this paper an extension of Petri Nets called Time Petri Nets with Action Duration (DTPN) where time is associated with transitions. In DTPN, the firing of transitions is bound to a time interval and transitions represent actions which have explicit durations. The authors give an operational semantics for DTPN in terms of Durational Action Timed Automata (DATA). DTPN considers both timing constraints and durations under a true-concurrency semantics with an aim of better expressing concurrent and parallel behaviours of real-time systems.

Modelling and ADA Implementation of Real-Time Systems Using Time Petri Nets

1996 ◽  
Vol 29 (5) ◽  
pp. 127-132
Author(s):  
F.J. García Izquierdo ◽  
J.L. Villarroel Salcedo
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Time Petri Nets ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document