SpringerLink
Log in

Application and Theory of Petri Nets and Concurrency

42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Didier Buchs

    1. Université de Genève, Carouge, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Josep Carmona

    1. Universitat Politècnica de Catalunya, Barcelona, Spain

    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 12734)

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

Included in the following conference series:

Conference proceedings info: PETRI NETS 2021.

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 (Canada)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.

The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.

Similar content being viewed by others

Keywords

Table of contents (24 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Keynotes

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Topics in Region Theory and Synthesis Problems

      • Luca Bernardinello
      Pages 3-16

    3. Flat Petri Nets (Invited Talk)

      • Jérôme Leroux
      Pages 17-30

  3. Application of Concurrency to System Design

    1. Front Matter

      Pages 31-31
      Download chapter PDF

    2. Cost and Quality in Crowdsourcing Workflows

      • Loïc Hélouët, Zoltan Miklos, Rituraj Singh
      Pages 33-54

    3. Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design

      • Rémi Parrot, Mikaël Briday, Olivier H. Roux
      Pages 55-75

    4. A Turn-Based Approach for Qualitative Time Concurrent Games

      • Serge Haddad, Didier Lime, Olivier H. Roux
      Pages 76-92

  4. Games

    1. Front Matter

      Pages 93-93
      Download chapter PDF

    2. Canonical Representations for Direct Generation of Strategies in High-Level Petri Games

      • Manuel Gieseking, Nick Würdemann
      Pages 95-117

    3. Automatic Synthesis of Transiently Correct Network Updates via Petri Games

      • Martin Didriksen, Peter G. Jensen, Jonathan F. Jønler, Andrei-Ioan Katona, Sangey D. L. Lama, Frederik B. Lottrup et al.
      Pages 118-137

  5. Verification

    1. Front Matter

      Pages 139-139
      Download chapter PDF

    2. Computing Parameterized Invariants of Parameterized Petri Nets

      • Javier Esparza, Mikhail Raskin, Christoph Welzel
      Pages 141-163

    3. On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets

      • Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio
      Pages 164-185

    4. Skeleton Abstraction for Universal Temporal Properties

      • Sophie Wallner, Karsten Wolf
      Pages 186-207

    5. Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets

      • Wil M. P. van der Aalst
      Pages 208-229

    6. Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets

      • Michael Haustermann, David Mosteller, Daniel Moldt
      Pages 230-249
Back to top

Other volumes

  1. Application and Theory of Petri Nets and Concurrency

Editors and Affiliations

  • Université de Genève, Carouge, Switzerland

    Didier Buchs

  • Universitat Politècnica de Catalunya, Barcelona, Spain

    Josep Carmona

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation