Abstract
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.
This work was supported by the German Science Foundation (DFG) project SFB-376
Chapter PDF
Similar content being viewed by others
References
E. Badouel and J. Oliver. Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes. In Proc. of a workshop within the 19th Int’l Conf. on Applications and Theory of Petri Nets, 1998.
B. Braatz, K. Ehrig, K. Hoffmann, J. Padberg, and M. Urbasek. Application of Graph Transformation Techniques to the Area of Petri Nets. In Proc. of APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002), pages 35–44, Grenoble, France, 2002.
H. Ehrig, M. Korff, and M. Löwe. Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts. In H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Proceedings of 4th International Workshop on Graph-Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, Bremen, Germany, Mar. 1990. Springer.
H. Ehrig, M. Pfender, and H. J. Schneider. Graph-grammars: An algebraic approach. In 14th Annual Symposium on Switching and Automata Theory, pages 167–180. IEEE, Oct. 1973.
M. Koch and C. Rust. Design of intelligent mechatronical systems with high-level petri nets, submitted to: IEEE/ASME Transactions on Mechatronics, Sept. 2004.
W. Y. Liu, C. Rust, and F. Stappert. A simulation platform for petri net models of dynamically modifiable embedded systems. In The European Simulation and Modeling Conference (ESMC 2003), Naples, Italy, Oct. 2003.
J. Padberg, H. Ehrig, and L. Ribiero. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5:217–256, 1995.
F. J. Rammig and C. Rust. Modeling of dynamically modifiable embedded real-time systems. In 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003F), Capri, Italy, Oct. 2003.
C. Rust. A High-Level Petri Net Model for the Design of Dynamically Modifiable Systems. Internal Report, URL: http://wwwhni.uni-paderborn.de/eps/uni/publications/, May 2004.
C. Rust, F. Stappert, and R. Bernhardi-Grisson. Petri Net Based Design of Reconfigurable Embedded Real-Time Systems, In Distributed And Parallel Embedded Systems. Kluwer Academic Publishers, 2002.
C. Rust, J. Tacken, and C. Böke. Pr/T-Net based Seamless Design of Embedded Real-Time Systems. In Applications and Theory of Petri Nets 2001, LNCS 2075, pages 343–362. Springer Verlag, 2001.
R. Valk. Self-modifying nets, a natural extension of petri nets. Lecture Notes in Computer Science: Automata, Languages and Programming, 62:464–476, 1978.
R. Valk. Petri nets as token objects, an introduction to elementary object nets. In J. D. und M. Silva, editor, Applications and Theory of Petri Nets 1998, LNCS 1420, pages 1–25. Springer Verlag, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this paper
Cite this paper
Rust, C., Rammig, F.J. (2004). A Petri Net Approach for The Design of Dynamically Modifiable Embedded Systems. In: Kleinjohann, B., Gao, G.R., Kopetz, H., Kleinjohann, L., Rettberg, A. (eds) Design Methods and Applications for Distributed Embedded Systems. DIPES 2004. IFIP International Federation for Information Processing, vol 150. Springer, Boston, MA. https://doi.org/10.1007/1-4020-8149-9_26
Download citation
DOI: https://doi.org/10.1007/1-4020-8149-9_26
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8148-4
Online ISBN: 978-1-4020-8149-1
eBook Packages: Springer Book Archive