Contents of last published issue -
Volume 113, Number 3-4 Contents of last published issue -
Volume 113, Number 3-4
Some of the previous volumes Applications and Theory of Petri Nets and Other Models of Concurrency, 2010. Preface.
Separability in Persistent Petri Nets
Eike Best, Philippe Darondeau
Learning Workflow Petri Nets
Javier Esparza, Martin Leucker, Maximilian Schlund
High-Level Petri Net Model Checking with AlPiNA
Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs
On Three Alternative Characterizations of Combined Traces
Dai Tri Man Lê
Wendy: A Tool to Synthesize Partners for Services
Niels Lohmann, Daniela Weinberg
Accelerations for the Coverability Set of Petri Nets with Names
Fernando Rosa-Velardo, María Martos-Salgado, David de Frutos-Escrig
Light Region-based Techniques for Process Discovery
Marc Solé, Josep Carmona
Can Stubborn Sets be Optimal?
Antti Valmari, Henri Hansen
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske