Graph transformation with time: Causality and logical clocks

Szilvia Gyapay, Reiko Heckel, Dàniel Varrò

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Citations (Scopus)

Abstract

Following TER nets, an approach to the modelling of time in high-level Petri nets, we propose a model of time within (attributed) graph transformation systems where logical clocks are represented as distinguished node attributes. Corresponding axioms for the time model in TER nets are generalised to graph transformation systems and semantic variations are discussed. They are summarised by a general theorem ensuring the consistency of temporal order and casual dependencies. The resulting notions of typed graph transformation with time specialise the algebraic double-pushout (DPO) approach to typed graph transformation. In particular, the concurrency theory of the DPO approach can be used in the transfer of the basic theory of TER nets.

Original languageEnglish
Title of host publicationGraph Transformation - 1st International Conference, ICGT 2002, Proceedings
EditorsAndrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
PublisherSpringer Verlag
Pages120-134
Number of pages15
ISBN (Electronic)9783540443100
DOIs
Publication statusPublished - 2002
Event1st International Conference on Graph Transformation, ICGT 2002 - Barcelona, Spain
Duration: Oct 7 2002Oct 12 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2505
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other1st International Conference on Graph Transformation, ICGT 2002
CountrySpain
CityBarcelona
Period10/7/0210/12/02

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Graph transformation with time: Causality and logical clocks'. Together they form a unique fingerprint.

  • Cite this

    Gyapay, S., Heckel, R., & Varrò, D. (2002). Graph transformation with time: Causality and logical clocks. In A. Corradini, H. Ehrig, H-J. Kreowski, & G. Rozenberg (Eds.), Graph Transformation - 1st International Conference, ICGT 2002, Proceedings (pp. 120-134). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2505). Springer Verlag. https://doi.org/10.1007/3-540-45832-8_11