31. Petri Nets 2010: Braga, Portugal

Johan Lilius, Wojciech Penczek (Eds.): Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Lecture Notes in Computer Science 6128 Springer 2010, ISBN 978-3-642-13674-0

Invited Papers

Gabriel Juhás, Igor Kazlov, Ana Juhásová:
Instance Deadlock: A Mystery behind Frozen Programs. 1-17
David Harel:
Some Thoughts on Behavioral Programming. 18
Jetty Kleijn, Maciej Koutny:
Petri Nets with Localities and Testing. 19-38
Lars Michael Kristensen:
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. 39-42

Full Papers

Antti Valmari, Henri Hansen:
Can Stubborn Sets Be Optimal? 43-62
Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske:
Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition. 63-83
Yunhe Wang, Li Jiao:
Canonical Transition Set Semantics for Petri Nets. 84-103
Dai Tri Man Le:
A Characterization of Combined Traces Using Labeled Stratified Order Structures. 104-124
Oleg Yu. Gusikhin, Erica Klampfl:
Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets. 125-144
Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci:
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. 145-164
Thomas Chatain, Eric Fabre:
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. 165-184
Fernando Rosa-Velardo, David de Frutos-Escrig:
Forward Analysis for Petri Nets with Name Creation. 185-205
Javier Esparza, Martin Leucker, Maximilian Schlund:
Learning Workflow Petri Nets. 206-225
Marc Solé, Josep Carmona:
Process Mining from a Basis of State Regions. 226-245
Eike Best, Philippe Darondeau:
Separability in Persistent Petri Nets. 246-266
Olivia Oanea, Harro Wimmel, Karsten Wolf:
New Algorithms for Deciding the Siphon-Trap Property. 267-286

Tool Papers

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi:
AlPiNA: A Symbolic Model Checker. 287-296
Niels Lohmann, Daniela Weinberg:
Wendy: A Tool to Synthesize Partners for Services. 297-307
Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner:
GreatSPN Enhanced with Decision Diagram Data Structures. 308-317
Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves:
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. 318-327

Last update Tue May 22 23:22:46 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page