Vol. 51 (2012): Petri Nets, Graph Transformation and other Concurrency Formalisms 2012

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

Published: 2012-11-21

Articles

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors

Maria Maximova, Hartmut Ehrig, Claudia Ermel
- PDF
Process Evolution based on Transformation of Algebraic High-Level Nets with Applications to Communication Platforms

Karsten Gabriel
- PDF
Abstract Interleaving Semantics for Reconfigurable Petri Nets

Julia Padberg
- PDF
On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets

Susann Gottmann, Nico Nachtigall, Kathrin Hoffmann
- PDF
Conditions in Reactive Systems and in Graph Rewriting

Barbara Koenig
- PDF
Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques

Szilvia Varró-Gyapay
- PDF

Preface

Preface

Julia Padberg, Kathrin Hoffmann
- PDF