Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012

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

Table of Contents

Preface

Preface
Julia Padberg, Kathrin Hoffmann
PDF

Articles

Conditions in Reactive Systems and in Graph Rewriting
Barbara Koenig
PDF
Process Evolution based on Transformation of Algebraic High-Level Nets with Applications to Communication Platforms
Karsten Gabriel
PDF
On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets
Susann Gottmann, Nico Nachtigall, Kathrin Hoffmann
PDF
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors
Maria Maximova, Hartmut Ehrig, Claudia Ermel
PDF
Abstract Interleaving Semantics for Reconfigurable Petri Nets
Julia Padberg
Untitled () PDF
Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques
Szilvia Varró-Gyapay
PDF