Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Application and Theory of Petri Nets and Concurrency

43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Luca Bernardinello

    1. University of Milano-Bicocca, Milano, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Laure Petrucci

    1. Paris 13 University, Villetaneuse, 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 13288)

Included in the following conference series:

Conference proceedings info: PETRI NETS 2022.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.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

About this book

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

The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining.

Similar content being viewed by others

Keywords

Table of contents (19 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Application of Concurrency to System Design

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems

      • Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang
      Pages 3-22

    3. Discovering Unseen Behaviour from Event Logs

      • Abel Armas Cervantes, Farbod Taymouri
      Pages 23-42

    4. Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory

      • Clément Bertrand, Hanna Klaudel, Frédéric Peschanski
      Pages 43-63

  3. Timed Models

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. Waiting Nets

      • Loïc Hélouët, Pranay Agrawal
      Pages 67-89

    3. Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach

      • Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
      Pages 90-112

  4. Tools

    1. Front Matter

      Pages 113-113
      Download chapter PDF

    2. Kong: A Tool to Squash Concurrent Places

      • Nicolas Amat, Louis Chauvet
      Pages 115-126

    3. IOPT-Tools – From Executable Models to Automatic Code Generation for Embedded Controllers Development

      • Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luis Gomes
      Pages 127-138

    4. OC\(\pi \): Object-Centric Process Insights

      • Jan Niklas Adams, Wil M. P. van der Aalst
      Pages 139-150

  5. Applications

    1. Front Matter

      Pages 151-151
      Download chapter PDF

    2. From Graphs to the Science Computer of a Space Telescope

      • Rafal Graczyk, Waldemar Bujwan, Marcin Darmetko, Marcin Dziezyc, Damien Galano, Konrad Grochowski et al.
      Pages 153-174

    3. Petri Nets Semantics of Reaction Rules (RR)

      • Franck Pommereau, Colin Thomas, Cédric Gaucherel
      Pages 175-194

    4. Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets

      • Maxim Storetvedt, Latchezar Betev, Nikola Hardi, Håvard Helstrup, Kristin Fanebust Hetland, Bjarte Kileng
      Pages 195-210

  6. Synthesis

    1. Front Matter

      Pages 211-211
      Download chapter PDF

    2. Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues

      • Raymond Devillers, Ronny Tredup
      Pages 213-235

    3. The Synthesis Problem for Repeatedly Communicating Petri Games

      • Paul Hannibal, Ernst-Rüdiger Olderog
      Pages 236-257

  7. Petri Nets Architecture

    1. Front Matter

      Pages 259-259
      Download chapter PDF
Back to top

Other volumes

  1. Application and Theory of Petri Nets and Concurrency

Editors and Affiliations

  • University of Milano-Bicocca, Milano, Italy

    Luca Bernardinello

  • Paris 13 University, Villetaneuse, France

    Laure Petrucci

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation