Actors and Coloured Petri Nets in the Development Life Cycle of Distributed Real Time Systems

1998 ◽  
Vol 31 (20) ◽  
pp. 1165-1170
Author(s):  
Giancarlo Fortino ◽  
Libero Nigro ◽  
Francesco Pupo
Keyword(s):  
Life Cycle ◽  
Petri Nets ◽  
Real Time ◽  
Coloured Petri Nets ◽  
Real Time Systems ◽  
Development Life Cycle ◽  
Time Systems

Scheduling hard real time systems using high-level Petri nets

1992 ◽  
pp. 93-112 ◽  
Author(s):  
Giorgio Bruno ◽  
Andrea Castella ◽  
Gianpaolo Macario ◽  
Marco P. Pescarmona
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Real Time Systems ◽  
Hard Real Time ◽  
High Level ◽  
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.

Sign in / Sign up

Export Citation Format

Share Document