A Petri Net Approach for The Design of Dynamically Modifiable Embedded Systems

  • Carsten Rust
  • Franz Josef Rammig
Conference paper
Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 150)

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.

Download to read the full conference paper text

References

  1. [1]
    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.Google Scholar
  2. [2]
    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.Google Scholar
  3. [3]
    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.Google Scholar
  4. [4]
    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.Google Scholar
  5. [5]
    M. Koch and C. Rust. Design of intelligent mechatronical systems with high-level petri nets, submitted to: IEEE/ASME Transactions on Mechatronics, Sept. 2004.Google Scholar
  6. [6]
    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.Google Scholar
  7. [7]
    J. Padberg, H. Ehrig, and L. Ribiero. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5:217–256, 1995.Google Scholar
  8. [8]
    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.Google Scholar
  9. [9]
    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.
  10. [10]
    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.Google Scholar
  11. [11]
    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.Google Scholar
  12. [12]
    R. Valk. Self-modifying nets, a natural extension of petri nets. Lecture Notes in Computer Science: Automata, Languages and Programming, 62:464–476, 1978.MATHMathSciNetGoogle Scholar
  13. [13]
    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.Google Scholar

Copyright information

© Springer Science + Business Media, Inc. 2004

Authors and Affiliations

  • Carsten Rust
    • 1
  • Franz Josef Rammig
    • 1
  1. 1.University of PaderbornGermany

Personalised recommendations