A model for distributed systems based on graph rewriting
Journal of the ACM (JACM)
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
A Comparison Between Petri-Nets and Graph Grammars
WG '80 Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets (Lecture Notes in Computer Science, 2472)
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This translation depends on a concrete model and may yield large graph transformation systems as the number of rules depends directly on the number of transitions in the net. Hence, the aim of this paper is to define the behavior of Algebraic High-Level nets, a high-level Petri net variant, by a parallel, typed, attributed graph transformation system. Such a general parallel transformation system for AHL nets replaces the translation of transitions of specific AHL nets. After reviewing the formal definitions of AHL nets and parallel attributed graph transformation, we formalize the classical translation from AHL nets to graph transformation systems and prove the correctness of the translation. The translation approach then is contrasted to a definition for AHL net behavior based on parallel graph transformation. We show that the resulting amalgamated rules correspond to the behavior rules from the classical translation approach.