Implementation of time petri nets in real-time Java

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.