Volume 40: Petri Nets and Graph Transformations 2010

DOI: http://dx.doi.org/10.14279/tuj.eceasst.40

Table of Contents

Preface

Preface
Claudia Ermel, Kathrin Hoffmann
PDF

Articles

Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations
Tony Modica, Karsten Gabriel, Kathrin Hoffmann
PDF
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories
Maria Maximova, Hartmut Ehrig, Claudia Ermel
PDF
RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets
Claudia Ermel, Sarkaft Shareef, Winzent Fischer
PDF
Modelling Emergency Scenarios using Algebraic High Level Net Transformation Systems with Net Patterns
Frank Trollmann, Maximilian Kern, Sahin Albayrak
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
Towards Guided Trajectory Exploration of Graph Transformation Systems
Ábel Hegedüs, Ákos Horváth, Dániel Varró
PDF