Szilvia Gyapay, Reiko Heckel, Daniel Varro  Home/Search
Context Related
| inf.mit.bme.hu/FTSR...icgt2002_gyhv.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: inf.mit.bme.hu/FTSRG/Publ...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. The resulting notions of typed graph transformation with time specialise the algebraic double-pushout (DPO) approach to typed... (Update)
Cited by: More
Dynamic Meta Modeling with Time: Specifying the Semantics of .. - Hausmann, Heckel (2002) (Correct)
Similar documents (at the sentence level):
38.3%: Graph Transformation with Time: Causality and Logical Clocks - Gyapay, Varro (2003) (Correct)
33.5%: Towards Graph Transformation with Time - Gyapay, Heckel (2002) (Correct)
Active bibliography (related documents): More All
1.5: Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) (Correct)
0.8: Appligraph: Applications of Graph Transformation - Fifth.. - Kreowski, (eds.) (2002) (Correct)
0.3: Computing by Graph Transformation - A Survey and Annotated.. - Ehrig, (eds.) (1996) (Correct)
Similar documents based on text: More All
0.8: Integrating the Specification Techniques of Graph.. - Heckel, Ehrig.. (1997) (Correct)
0.8: Horizontal and Vertical Structuring of Typed Graph.. - Heckel, Corradini.. (1996) (Correct)
0.8: Loose Semantics and Constraints for Graph.. - Heckel, Ehrig, Wolter, .. (1997) (Correct)
BibTeX entry: (Update)
S. Gyapay, R. Heckel, and D. Varro. Graph transformation with time: Causality and logical clocks. In A. Corradini and H.-J. Kreowski, editors, Proc. 1st Int. Conference on Graph Transformation (ICGT 02), Barcelona, Spain, LNCS. Springer-Verlag, October 2002. To appear. http://citeseer.ist.psu.edu/article/gyapay02graph.html More
@inproceedings{ icgt2002-ghv02,
author = {Szilvia Gyapay and Reiko Heckel and D{\'a}niel
Varr{\'o}},
title = {Graph Transformation with Time: Causality and
Logical Clocks},
booktitle = {Proc. ICGT 2002: 1st International Conference on Graph
Transformation},
pages = {120--134},
year = 2002,
editor = {Corradini, Andrea and Ehrig, Hartmut and Kreowski,
Hans-J{\"o}rg and Rozenberg, Grzegorz},
volume = 2505,
series = {LNCS},
address = {Barcelona, Spain},
month = {October 7--12},
publisher = {Springer-Verlag},
url = {citeseer.ist.psu.edu/article/gyapay02graph.html} }
Citations (may not include all citations):917 and the ordering of events in a distributed system (context) - Lamport, clocks - 1978
54 A unified high-level petri net formalism for time-critical s.. (context) - Ghezzi, Mandrioli et al. - 1991
45 Graph grammars: an algebraic approach (context) - Ehrig, Pfender et al. - 1973
43 Fundamenta Informaticae (context) - Corradini, Montanari et al. - 1996
32 An algebraic framework for the transformation of attributed .. (context) - Lowe, Korff et al. - 1993
29 Dynamic meta modeling: A graphical approach to the operation.. (context) - Engels, Hausmann et al. - 2000
23 Parallel Composition and Unfolding Semantics of Graph Gramma.. (context) - Ribeiro - 1996
19 Algebraic high-level nets: Petri nets revisited (context) - Ehrig, Padberg et al. - 1994
18 A formal semantics of UML state machines based on structured.. - Kuske - 2001
13 Modelling Concurrent Computations: from Contextual Petri Net.. (context) - Baldan - 2000
10 Manipulation von Graphmanipulationen (context) - Kreowski - 1977
8 Concurrent semantics of algebraic graph transformation (context) - Baldan, Corradini et al. - 1999
6 Specification of Concurrent Systems: from Petri Nets to Grap.. (context) - Corradini, Montanari
5 Towards dynamic meta modeling of UML extensions: An extensib.. - Hausmann, Heckel et al. - 2001
4 Towards graph transformation with time - Gyapay, Heckel - 2002
3 Workshop on Graph Transformation and Visual Modeling Techniq.. (context) - Baresi, Pezze et al. - 2001
2 Workshop on Graph Transformation and Visual Modeling Techniq.. (context) - Corradini, Heckel et al. - 2000
1 A Model Making Automation Process (context) - Hrischuk - 2000
Documents on the same site (http://www.inf.mit.bme.hu/FTSRG/Publications/index.html): More
Automatic Dependability Analysis for Supporting Design.. - Bondavalli, Majzik, Mura (1999) (Correct)
Semi-Decisions in the Validation of Dependable Systems - Pataricza (2001) (Correct)
Design for Testability with HW-SW Codesign - Csertan, Pataricza, Selenyi (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC