Application and Theory of Petri Nets and Concurrency

1. Front Matter

   PDF

2. Invited Papers

   1. Propagation Nets

      • Kurt Lautenbach

      Pages 1-19

      PDF

   2. Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking

      • Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner

      Pages 20-39

      PDF

   3. Complex Networks and Link Streams for the Empirical Analysis of Large Software

      • Matthieu Latapy, Tiphaine Viard

      Pages 40-50

      PDF

3. Regular Papers

   1. Soundness of Timed-Arc Workflow Nets

      • José Antonio Mateo, Jiří Srba, Mathias Grund Sørensen

      Pages 51-70

      PDF

   2. Process Model Discovery: A Method Based on Transition System Decomposition

      • Anna A. Kalenkova, Irina A. Lomazova, Wil M. P. van der Aalst

      Pages 71-90

      PDF

   3. Discovering Block-Structured Process Models from Incomplete Event Logs

      • Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst

      Pages 91-110

      PDF

   4. Synthesis of Persistent Systems

      • Eike Best, Raymond Devillers

      Pages 111-129

      PDF

   5. Learning Transparent Data Automata

      • Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma

      Pages 130-149

      PDF

   6. A Programming Language for Spatial Distribution of Net Systems

      • Paweł Sobociński, Owen Stephens

      Pages 150-169

      PDF

   7. Flow Unfolding of Multi-clock Nets

      • Giovanni Casu, G. Michele Pinna

      Pages 170-189

      PDF

   8. Non-interference by Unfolding

      • Paolo Baldan, Alberto Carraro

      Pages 190-209

      PDF

   9. The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems

      • Artem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa, Arthur H. M. ter Hofstede

      Pages 210-232

      PDF

   10. On Weighted Petri Net Transducers

       • Robert Lorenz, Markus Huber, Günther Wirsching

       Pages 233-252

       PDF

   11. Exhibition of a Structural Bug with Wings

       • Florent Avellaneda, Rémi Morin

       Pages 253-272

       PDF

   12. Analysis of Petri Net Models through Stochastic Differential Equations

       • Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Alessio Angius, Gianfranco Balbo

       Pages 273-293

       PDF

   13. Dynamic Networks of Timed Petri Nets

       • María Martos-Salgado, Fernando Rosa-Velardo

       Pages 294-313

       PDF

   14. A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application

       • Ernst W. Mayr, Jeremias Weihmann

       Pages 314-333

       PDF

   15. On the Reversibility of Well-Behaved Weighted Choice-Free Systems

       • Thomas Hujsa, Jean-Marc Delosme, Alix Munier-Kordon

       Pages 334-353

       PDF

4. Tool Papers

   1. (Stochastic) Model Checking in GreatSPN

      • Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli

      Pages 354-363

      PDF

This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.

• Petri nets
• concurrency
• concurrent systems
• formal methods
• model checking
• process models
• software system models
• theory of computation

• Department of Computer Science, Iowa State University, Ames, USA

  Gianfranco Ciardo

• DTU Compute, Technical University of Denmark, Lyngby, Denmark

  Ekkart Kindler

Policies and ethics