Electronic Communication of the European Association of Software Science and Technology, Volume 51
Petri Nets, Graph Transformation and other Concurrency Formalisms
: Conditions in Reactive Systems and in Graph Rewriting.
: Process Evolution based on Transformation of Algebraic High-Level Nets with Applications to Communication Platforms.
: Abstract Interleaving Semantics for Reconfigurable Petri Nets.
: Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques.
, founded at