Petri Nets 2010, ACSD 2010 - Braga, Portugal


ACSD 2010

Braga, Portugal, June 21-25, 2010
Petri Nets 2010, ACSD 2010 - Braga, Portugal
List of Accepted Papers
A Characterization of Combined Traces Using Labeled Stratified Order Structures
Separability in Persistent Petri Nets
Best, Darondeau
PNML Framework: an extendable reference implementation of the Petri Net Markup Language
Petrucci, Kordon, Hillah, Treves
Wendy: a tool to synthesize partners for services
Lohmann, Weinberg
AlPiNA: a symbolic model checker
Marechal, Buchs, Risoldi, Hostettler
Process Mining from a Basis of State Regions
Carmona, Sole
Efficient Computation of Causal Behavioural Profiles using Structural Decomposition
Weidlich, Polyvyanyy, Mendling, Weske
Canonical Transition Set Semantics for Petri Nets
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification
Petrucci, Choppy, Dedova, Evangelista, Klai, Hong
Learning Workflow Petri Nets
Esparza, Leucker, Schlund
Forward analysis for Petri nets with name creation
Rosa-Velardo, de Frutos-Escrig
Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies using Petri Nets
New Algorithms for Deciding the Siphon-Trap Property
Oanea, Karsten, Wimmel
Can Stubborn Sets Be Optimal?
Valmari, Hansen
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
Fabre, Chatain
GreatSPN Enhanced with Decision Diagram Data Structures
Miner, Babar, Becutti, Donatelli