Zero-overhead Pr/T-Net execution

Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the next step is to implement the system code out of this model specification. Therefore, very efficient code has to be generated and a highly overhead free run-time environment is required. We propose a very tight integration of the Pr/T-Net execution into a customizable operating system that is optimal adapted for this purpose. Our approach is a very promising one towards direct and highly efficient implementations of Pr/T-Nets.

• Type: Conference
• Year: 2000
• Where: ESM
• Authors: Carsten Böke, Markus Hübel, Franz J. Rammig, Carsten Rust
• Keywords: ESM 2000, Free Run-time Environment, Modeling And Simulation, Petri Nets, Predicate Transition Nets