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.

Modeling and verification of a class of real-time systems by the use of High Level Petri Nets

2003 ◽  
Vol 68 (2) ◽  
pp. 153-165 ◽  
Author(s):  
George Hassapis ◽  
Dimitra Ananidou
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Real Time Systems ◽  
High Level ◽  
Time Systems

The specification and design of hard real-time systems using timed and temporal petri nets

1990 ◽  
Vol 30 (1-5) ◽  
pp. 389-396 ◽  
Author(s):  
J.S. Sagoo ◽  
D.J. Holding
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Real Time Systems ◽  
Hard Real Time ◽  
Time Systems

On the Uses of Synchronization in Hard-real-time Systems

1983 ◽  
Author(s):  
Stuart R. Faulk ◽  
David L. Parnas
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Hard Real Time ◽  
Time Systems

A comparison of temporal Petri net techniques in the specification and design of hard real-time systems

1991 ◽  
Vol 32 (1-5) ◽  
pp. 111-118 ◽  
Author(s):  
J.S. Sagoo ◽  
D.J. Holding
Keyword(s):  
Real Time ◽  
Petri Net ◽  
Real Time Systems ◽  
Hard Real Time ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document