Implementation of time petri nets in real-time Java

Authors:
Ramón Piedrafita Moreno;José Luis Villarroel Salcedo
Affiliations:
University of Zaragoza, Spain;University of Zaragoza, Spain
Venue:
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Year:
2006

Citing 3
Cited 1

Modeling and Verification of Time Dependent Systems Using Time Petri Nets

IEEE Transactions on Software Engineering
Concurrent and Real-Time Programming in Java

Concurrent and Real-Time Programming in Java
A brief survey and synthesis of the roles of time in petri nets

Mathematical and Computer Modelling: An International Journal

Performance Evaluation of Petri nets Centralized Implementation. The Execution Time Controller

Discrete Event Dynamic Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose the use of the Java Real-Time extension as a target language in the automatic code generation from Time Petri Net models of Real-Time Systems. To support the classic centralized implementation techniques of Time Petri Nets, the temporal and concurrency Java primitives were analyzed. Performance analyses determined the overhead of the Java virtual machine and of the centralized implementation control structures.