Application and Theory of Petri Nets

1. Front Matter

   PDF

2. Invited Papers

   1. Net Models for Concurrent Object Behaviour

      • Tony Hoare

      Pages 1-2

   2. The Theory of WSTS: The Case of Complete WSTS

      • Alain Finkel, Jean Goubault-Larrecq

      Pages 3-31

3. Regular Papers

   1. Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods

      • Thomas Mailund, Anders E. Halager, Michael Westergaard

      Pages 32-50

   2. An SMT-Based Discovery Algorithm for C-Nets

      • Marc Solé, Josep Carmona

      Pages 51-71

   3. Decomposing Process Mining Problems Using Passages

      • Wil M. P. van der Aalst

      Pages 72-91

   4. Complexity of the Soundness Problem of Bounded Workflow Nets

      • Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong

      Pages 92-107

   5. Cost Soundness for Priced Resource-Constrained Workflow Nets

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

      Pages 108-127

   6. On the α-Reconstructibility of Workflow Nets

      • Eric Badouel

      Pages 128-147

   7. On Profiles and Footprints – Relational Semantics for Petri Nets

      • Matthias Weidlich, Jan Martijn van der Werf

      Pages 148-167

   8. Data and Abstraction for Scenario-Based Modeling with Petri Nets

      • Dirk Fahland, Robert Prüfer

      Pages 168-187

   9. Maximal Confluent Processes

      • Xu Wang

      Pages 188-207

   10. Old and New Algorithms for Minimal Coverability Sets

       • Antti Valmari, Henri Hansen

       Pages 208-227

   11. Stubborn Sets for Simple Linear Time Properties

       • Andreas Lehmann, Niels Lohmann, Karsten Wolf

       Pages 228-247

   12. Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method

       • Sami Evangelista, Lars Michael Kristensen

       Pages 248-267

   13. Safety Slicing Petri Nets

       • Astrid Rakow

       Pages 268-287

   14. Capacity Planning for Vertical Search Engines: An Approach Based on Coloured Petri Nets

       • Veronica Gil-Costa, Jair Lobos, Alonso Inostrosa-Psijas, Mauricio Marin

       Pages 288-307

   15. An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets

       • Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst

       Pages 308-327

   16. Designing Weakly Terminating ROS Systems

       • Debjyoti Bera, Kees M. van Hee, Jan Martijn van der Werf

       Pages 328-347

   17. Nets-within-Nets to Model Innovative Space System Architectures

       • Frédéric Cristini, Catherine Tessier

       Pages 348-367

This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. The 18 regular papers and 3 tool papers presented were carefully reviewed and selected from 55 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.

• algorithms
• colored Petri nets
• modeling
• process mining
• workflow nets
• data structures

• Laboratoire Spécification et Vérification, Ecole Normale Supérieure de Cachan, Cachan, France

  Serge Haddad

• Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano–Bicocca, Milano, Italy

  Lucia Pomello

Policies and ethics