High-Level nets with nets and rules as tokens

Lecture Notes in Computer Science

Volumn 3536, Issue , 2005, Pages 268-288

  Hoffmann, Kathrin ^a   Ehrig, Hartmut ^a   Mossakowski, Till ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

Algebraic high level nets; Algebraic specifications; Case study: House of philosophers; Graph grammars and Petri net transformations; High level net models; Integration of net theory and graph transformations; Nets and rules as tokens

Indexed keywords

GRAPH THEORY; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

ALGEBRAIC HIGH-LEVEL NETS; ALGEBRAIC SPECIFICATIONS; CASE STUDY: HOUSE OF PHILOSOPHERS; GRAPH GRAMMARS AND PETRI NET TRANSFORMATIONS; HIGH-LEVEL NET MODELS; INTEGRATION OF NET THEORY AND GRAPH TRANSFORMATIONS; NETS AND RULES AS TOKENS;

PETRI NETS;

EID: 26444491158     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494744_16     Document Type: Conference Paper

References (31)

1. [Aal98] W.M.P. van der Aalst. The Application and Theory of Petri Nets to Workflow Management Systems. The Journal of Circuits, Systems and Computers, 8:21-66. 1998.
2. [Aal02] W.M.P. van der Aalst. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science, 270(1-2): 125-203. 2002.
3. [AGG] AGG Homepage, http://tfs.cs.tu-berlin.de/agg.
4. [ADC01] G. Agha, F. De Cindio, and G. Rozenberg, editors. Concurrent Object-Oriented Programming and Petri Nets, LNCS 2001. Springer, 2001.
5. [CAS94] Mosses, Peter D. CASL Reference Manual - The Complete Documentation of the Common Algebraic Specification Language, LNCS 2960. Springer, 2004.
6. [Ehr79] H. Ehrig. Introduction to the algebraic theory of graph grammars (A survey). In Graph Grammars and their Application to Computer Science and Biology, LNCS 73, pages 1-69. Springer, 1979.
7. [EHK91] H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science, 1:361-404, 1991.
8. [EM85] H. Ehrig, B. Mahr. Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. Springer Verlag, EATCS Monographs in Theoretical Computer Science, 1992.
9. [EHP02] H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel. High Level Net Processes. In Formal and Natural Computing, LNCS 2300, pages 191- 219. Springer, 2002.
10. [EP04] H. Ehrig and J. Padberg. Graph Grammars and Petri Net Transformations. In Lectures on Concurrency and Petri Nets. Special Issue Advanced Course PNT, LNCS 3098, pages 496-536. Springer, 2004.
11. [Far99] B. Farwer A Linear Logic View of Object Petri Nets. Fundamenta Informaticae, IOS Press, 37:225-246, 1999.
12. [Gen] GenGED Homepage, http://tfs.cs.tu-berlin.de/genged.
13. [Hets] Hets Homepage, http://www.tzi.de/cofi/hets.
14. [Hof00] K. Hoffmann. Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Constructions. In G. Hommel, editor, Proc. of 3th Int. Workshop of Communication Based Systems, pages 55-72. Kluwer, 2000.
15. [HM03] K. Hoffmann and T. Mossakowski. Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. In M. Wirsing, D. Pattinson, and R. Henicker, editors, Proc. of 16th Int. Workshop of Algebraic Development Techniques, LNCS 2755, pages 253-267. Springer, 2003.
16. [HM04] K. Hoffmann and T. Mossakowski. Integration of Petri nets and Rule-Based Transformations using Algebraic Higher-Order Nets. Technical Report, Technical University of Berlin, 2004.
17. [Jen92] K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, volume 1: Basic Concepts. Springer Verlag, EATCS Monographs in Theoretical Computer Science, 1992.
18. [KW01] E. Kindler and M. Weber. The Petri net kernel - an infrastructure for building Petri net tools. Software Tools for Technology Transfer, 3(4):486-497, 2001.
19. [MM90] J. Meseguer and U. Montanari. Petri Nets are Monoids. Information and Computation, 88(2): 105-155, 1990.
20. [MTH97] R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML - Revised. MIT Press, 1997.
21. [Mos05] T. Mossakowski. Heterogeneous specification and the heterogeneous tool set. Habilitation thesis, University of Bremen, 2004.
22. [PER95] J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5:217-256, 1995.
23. [PU03] J. Padberg, and M. Urbasek. Rule-Based Refinement of Petri Nets: A Survey. In Advances in Petri Nets: Petri Net Technologies for Modeling Communication Based Systems, LNCS 2472, pages 161-196. Springer, 2003.
24. [PP01] Francesco Parisi-Presicce. On modifying high level replacement systems. In Hartmut Ehrig, Claudia Ermel, and Julia Padberg, editors, Electronic Notes in Theoretical Computer Science, volume 44. Elsevier, 2001.
25. [RWL03] A. Ratzer, L. Wells, H. Lassen, M. Laursen, J. Qvortrup, M. Stissing, M. Westergaard, S. Christensen, K. Jensen. CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In Proc. of the 24th Int. Conference on Applications and Theory of Petri Nets (ICATPN 2003), pages 450-462, LNCS 2679. Springer, 2003.
26. [Roz97] G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, 1997.
27. [SM02] L. Schröder and T. Mossakowski. HasCASL: Towards integrated specification and development of Haskell programs. In H. Kirchner and C. Reingeissen, editors, Algebraic Methodology and Software Technology, 2002, LNCS 2422, pages 99-116. Springer-Verlag, 2002.
28. [Sil01] C. Silbertin-Blanc. The Hurried Philosophers. In G. Agha, F. De Cindio, and G. Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, LNCS 2001, pages 536-537. Springer, 2001.
29. [Val98] Rüdiger Valk. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. Proc. of the International Conference on Application and Theory of Petri Nets, LNCS 1420, pages 1-25, 1998.
30. [Val01] R. Valk. Concurrency in Communicating Object Petri Nets. In G. Agha, F. de Cindio, and G. Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, LNCS 2001, pages 164-195. Springer, 2001.
31. [Wie01] F. Wienberg. Informations- und prozeorientierte Modellierung verteilter Systeme auf der Basis von Feature-Structure-Netzen. PhD thesis, University Hamburg, 2001.