A Petri Net Approach for The Design of Dynamically Modifiable Embedded Systems
Carsten Rust, Franz Josef Rammig · Kluwer Academic Publishers eBooks · 2006
A Petri net based approach for modeling dynamically modifiable embedded realtime systems is presented. The presented work contributes to the extension of a Petri net based design methodology for distributed embedded systems towards the handling of dynamically modifiable systems. Extensions to the underlying high-level Petri net model are introduced that allow for dynamic modifications of a net at run time.