Vol. 40 (2011): Petri Nets and Graph Transformations 2010

DOI: https://doi.org/10.14279/tuj.eceasst.40

Published: 2011-08-04

Articles

Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations

Tony Modica, Karsten Gabriel, Kathrin Hoffmann
- PDF
Towards Guided Trajectory Exploration of Graph Transformation Systems

Ábel Hegedüs, Ákos Horváth, Dániel Varró
- PDF
Modelling Emergency Scenarios using Algebraic High Level Net Transformation Systems with Net Patterns

Frank Trollmann, Maximilian Kern, Sahin Albayrak
- PDF
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories

Maria Maximova, Hartmut Ehrig, Claudia Ermel
- PDF
Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks

Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg
- PDF
RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets

Claudia Ermel, Sarkaft Shareef, Winzent Fischer
- PDF

Preface

Preface

Claudia Ermel, Kathrin Hoffmann
- PDF