A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
An algebraic framework for the transformation of attributed graphs
Term graph rewriting
Algebraic high level nets: Petri nets revisited
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
Fundamenta Informaticae - Special issue on graph transformations
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Graph transformation with time
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
Programmed Graph Rewriting with Time for Simulation-Based Design
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Programmed Graph Rewriting with DEVS
Applications of Graph Transformations with Industrial Relevance
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE
Models in Software Engineering
Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time
Electronic Notes in Theoretical Computer Science (ENTCS)
On the behavioral semantics of real-time domain specific visual languages
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Lightweight testing of communication networks with e-motions
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Graph Transformation with Time
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Model-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
| Hi-index | 0.00 |
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.