*For the most recent entries see the
Petri Nets Newsletter.*

## Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation.

Ermel, Claudia;
Taentzer, Gabriele;
Bardohl, Roswitha
In:
Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, et al. (Eds.): *Lecture Notes in Computer Science, Vol. 3393: Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday*, pages 64-83.
Springer-Verlag,
2005.

Abstract:
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.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*