Skip to main content
SpringerLink
Log in
Book cover

Application and Theory of Petri Nets and Concurrency

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

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Ryszard Janicki

    1. McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Natalia Sidorova

    1. Eindhoven University of Technology, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Thomas Chatain

    1. LSV, CNRS & ENS Paris-Saclay, Cachan, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12152)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: PETRI NETS 2020.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Application of Concurrency to System Design

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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
      Download chapter PDF

    2. On the High Complexity of Petri Nets \(\omega \)-Languages

      • Olivier Finkel
      Pages 69-88

    3. A New Property of Choice-Free Petri Net Systems

      • Eike Best, Raymond Devillers, Evgeny Erofeev
      Pages 89-108

    4. On-the-Fly Synthesis for Strictly Alternating Games

      • Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba
      Pages 109-128

  5. Process Mining and Applications

    1. Front Matter

      Pages 217-217
      Download chapter PDF

    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

  6. Extensions and Model Checking

    1. Front Matter

      Pages 301-301
      Download chapter PDF
Back to top

Other volumes

  1. Application and Theory of Petri Nets and Concurrency

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation