Implementation of a Non-Autonomous High-Level Petri Net Model for Reactive Real-Time Systems

1997 ◽  
Vol 30 (3) ◽  
pp. 397-402 ◽  
Author(s):  
João Paulo Barros ◽  
Luís Gomes ◽  
A. Steiger-Garção
Keyword(s):  
Real Time ◽  
Petri Net ◽  
Real Time Systems ◽  
High Level ◽  
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.

scholarly journals An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net

Computers ◽  
2020 ◽  
Vol 9 (4) ◽  
pp. 94
Author(s):  
Tanuja Shailesh ◽  
Ashalatha Nayak ◽  
Devi Prasad
Keyword(s):  
Performance Evaluation ◽  
Performance Analysis ◽  
Real Time ◽  
Petri Net ◽  
Early Stage ◽  
Sequence Diagram ◽  
Real Time Systems ◽  
Transformation Rules ◽  
Uml Sequence Diagram ◽  
Time Systems

Performance is a critical non-functional parameter for real-time systems and performance analysis is an important task making it more challenging for complex real-time systems. Mostly performance analysis is performed after the system development but an early stage analysis and validation of performance using system models can improve the system quality. In this paper, we present an early stage automated performance evaluation methodology to analyse system performance using the UML sequence diagram model annotated with modeling and analysis of real-time and embedded systems (MARTE) profile. MARTE offers a performance domain sub-profile that is used for representing real-time system properties essential for performance evaluation. In this paper, a transformation technique and transformation rules are proposed to map the UML sequence diagram model into a Generalized Stochastic Timed Petri net model. All the transformation rules are implemented using a metamodel based approach and Atlas Transformation Language (ATL). A case study from the manufacturing domain a Kanban system is used for validating the proposed technique.

Sign in / Sign up

Export Citation Format

Share Document