A Petri net approach for the design of dynamically modifiable embedded systems

IFIP Advances in Information and Communication Technology

Volumn 150, Issue , 2004, Pages 257-266

  Rust, Carsten ^a   Rammig, Franz Josef ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; DISTRIBUTED COMPUTER SYSTEMS; PETRI NETS;

DESIGN METHODOLOGY; DISTRIBUTED EMBEDDED SYSTEM; DYNAMIC MODIFICATIONS; EMBEDDED REAL TIME SYSTEMS; HIGH-LEVEL PETRI NET MODELING; RUNTIMES;

EMBEDDED SYSTEMS;

EID: 84883251690     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/1-4020-8149-9_26     Document Type: Conference Paper

References (13)

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.
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.
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.
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.
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.
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.
7. J. Padberg, H. Ehrig, and L. Ribiero. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5:217-256, 1995.
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.
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. 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.
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.
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.
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.