Skip to main content
  • Conference proceedings
  • © 2020

Application and Theory of Petri Nets and Concurrency

41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings

Conference proceedings info: PETRI NETS 2020.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (23 papers)

  1. Front Matter

    Pages i-xi
  2. Application of Concurrency to System Design

    1. Front Matter

      Pages 1-1
    2. Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account

      • Pierre Bouvier, Hubert Garavel, Hernán Ponce-de-León
      Pages 3-23
    3. Data Centric Workflows for Crowdsourcing

      • Pierre Bourhis, Loïc Hélouët, Zoltan Miklos, Rituraj Singh
      Pages 24-45
    4. Synthesis for Multi-weighted Games with Branching-Time Winning Conditions

      • Isabella Kaufmann, Kim Guldstrand Larsen, Jiří Srba
      Pages 46-66
  3. Languages and Synthesis

    1. Front Matter

      Pages 67-67
    2. A New Property of Choice-Free Petri Net Systems

      • Eike Best, Raymond Devillers, Evgeny Erofeev
      Pages 89-108
    3. On-the-Fly Synthesis for Strictly Alternating Games

      • Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba
      Pages 109-128
  4. Process Mining and Applications

    1. Front Matter

      Pages 217-217
    2. Petri Nets Validation of Markovian Models of Emergency Department Arrivals

      • Paolo Ballarini, Davide Duma, Andras Horváth, Roberto Aringhieri
      Pages 219-238
    3. Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources

      • Vadim Denisov, Dirk Fahland, Wil M. P. van der Aalst
      Pages 239-259
    4. Piecewise Affine Dynamical Models of Timed Petri Nets – Application to Emergency Call Centers

      • Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
      Pages 260-279
    5. Automated Repair of Process Models Using Non-local Constraints

      • Anna Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa
      Pages 280-300
  5. Extensions and Model Checking

    1. Front Matter

      Pages 301-301

Other Volumes

  1. Application and Theory of Petri Nets and Concurrency

About this book

This book constitutes the proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, which was supposed to be held in Paris, France, in June 2020. The conference was held virtually due to the COVID-19 pandemic.
The 17 regular and 6 tool papers presented together in this volume were carefully reviewed and selected from 56 submissions. The focus of the conference is on following topics: application of concurrency to system design; languages and synthesis; semantics; process mining and applications; extensions and model checking; tools.

Editors and Affiliations

  • McMaster University, Hamilton, Canada

    Ryszard Janicki

  • Eindhoven University of Technology, Eindhoven, The Netherlands

    Natalia Sidorova

  • LSV, CNRS & ENS Paris-Saclay, Cachan, France

    Thomas Chatain

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access