Graph transformation with time: Causality and logical clocks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2505, Issue , 2002, Pages 120-134

  Gyapay, Szilvia ^a   Heckel, Reiko ^b   Varrò, Dàniel ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; SEMANTICS;

CONCURRENCY THEORY; DOUBLE PUSHOUT APPROACHES; GRAPH TRANSFORMATION; GRAPH TRANSFORMATION SYSTEM; HIGH-LEVEL PETRI NETS; LOGICAL CLOCK; NODE ATTRIBUTE; TEMPORAL ORDER;

CLOCKS;

EID: 84878179451     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45832-8_11     Document Type: Conference Paper

References (18)

1. P. Baldan. Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars. PhD thesis, Dipartimento di Informatica, Università di Pisa, 2000.
2. P. Baldan, A. Corradini, H. Ehrig, M. Löwe, U. Montanari, and F. Rossi. Concurrent semantics of algebraic graph transformation. In H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency and Distribution, pages 107–188. World Scientific, 1999.
3. L. Baresi, M. Pezzè, and G. Taentzer, editors. Proc. ICALP 2001 Workshop on Graph Transformation and Visual Modeling Techniques, Heraklion, Greece, Electronic Notes in TCS. Elsevier Science, July 2001.
4. A. Corradini and R. Heckel, editors. Proc. ICALP 2000 Workshop on Graph Transformation and Visual Modeling Techniques, Geneva, Switzerland, July 2000. Carleton Scientific. http://www.di.unipi.it/GT-VMT/.
5. A. Corradini and U. Montanari. Specification of Concurrent Systems: from Petri Nets to Graph Grammars. In Quality of Communication-Based Systems, pages 35–52. Kluwer Academic Publishers, 1995.
6. A. Corradini, U. Montanari, and F. Rossi. Graph processes. Fundamenta Informaticae, 26(3, 4):241–266, 1996.
7. G. Engels, J.H. Hausmann, R. Heckel, and St. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, Proc. UML 2000, York, UK, volume 1939 of LNCS, pages 323–337. Springer-Verlag, 2000.
8. H. Ehrig, J. Padberg, and L. Ribeiro. Algebraic high-level nets: Petri nets revisited. In Recent Trends in Data Type Specification, pages 188–206, Caldes de Malavella, Spain, 1994. Springer Verlag. Lecture Notes in Computer Science 785.
9. H. Ehrig, M. Pfender, and H.J. Schneider. Graph grammars: an algebraic approach. In 14th Annual IEEE Symposium on Switching and Automata Theory, pages 167–180. IEEE, 1973.
10. S. Gyapay and R. Heckel. Towards graph transformation with time. In Proc. ETAPS’02 Workshop on Application of Graph Transformation, Grenoble, France, 2002.
11. C. Ghezzi, D. Mandrioli, S. Morasca, and Pezzè. A unified high-level petri net formalism for time-critical systems. IEEE Transactions on Software Engineering, 17(2):160–172, 1991.
12. J.H. Hausmann, R. Heckel, and S. Sauer. Towards dynamic meta modeling of UML extensions: An extensible semantics for UML sequence diagrams. In M. Minas and A. Sch¨urr, editors, Symposium on Visual Languages and Formal Methods, IEEE Symposia on Human Computer Interaction (HCI 2001), Stresa, Italy, Los Alamitos, CA, September 2001. IEEE Computer Society Press.
13. C. E. Hrischuk. A Model Making Automation Process (MMAP) using a graph grammar formalism. In Theory and Application of Graph Transformations, 6th International Workshop, TAGT’98, Paderborn, Germany, Selected Papers, volume 1764 of LNCS, pages 442–454. Springer-Verlag, 2000.
14. H.-J. Kreowski. Manipulation von Graphmanipulationen. PhD thesis, Technical University of Berlin, Dep. of Comp. Sci., 1977.
15. S. Kuske. A formal semantics of UML state machines based on structured graph transformation. In M. Gogolla and C. Kobryn, editors, Proc. UML 2001, Toronto, Kanada, volume 2185 of LNCS, pages 241–256. Springer-Verlag, 2001.
16. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7), July 1978.
17. M. Löwe, M. Korff, and A. Wagner. An algebraic framework for the transformation of attributed graphs. In M. R. Sleep, M. J. Plasmeijer, and M.C. van Eekelen, editors, Term Graph Rewriting: Theory and Practice, chapter 14, pages 185–199. John Wiley & Sons Ltd, 1993.
18. L. Ribeiro. Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, TU Berlin, 1996.