Skip to main content
  • Book
  • © 2024

Transactions on Petri Nets and Other Models of Concurrency XVII

  • Contains revised and extended versions of a selection of the best workshop papers from Petri Nets 2022.

  • Covers innovative applications of Petri nets and other models of concurrency.

  • Application areas include distributed simulations, business processes, and net synthesis.

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

Part of the book sub series: Transactions on Petri Nets and Other Models of Concurrency (TOPNOC)

Buy it now

Buying options

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

  1. Front Matter

    Pages i-xviii
  2. A Toolchain to Compute Concurrent Places of Petri Nets

    • Nicolas Amat, Pierre Bouvier, Hubert Garavel
    Pages 1-26
  3. Development and Verification of a Microservice Architecture for a Fire Risk Notification System

    • Ruben Dobler Strand, Lars M. Kristensen, Laure Petrucci
    Pages 27-53
  4. Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets

    • Federica Adobbati, Luca Bernardinello, Görkem Kılınç Soylu, Lucia Pomello
    Pages 54-83
  5. Analysing Adaption Processes of Hornets

    • Michael Köhler-Bußmeier, Heiko Rölke
    Pages 84-107
  6. A Case Study on Data Protection for a Cloud- and AI-Based Homecare Medical Device

    • Philipp Bende, Olga Vovk, David Caraveo, Ludwig Pechmann, Martin Leucker
    Pages 138-161
  7. Strategies for Minimising the Synthesised ENL-Systems

    • Aishah Ahmed, Marta Pietkiewicz-Koutny
    Pages 162-188
  8. Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets

    • Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare
    Pages 189-211
  9. Confusion-Tolerant Computation of Probability in Acyclic Nets

    • Anirban Bhattacharyya, Maciej Koutny
    Pages 212-245
  10. An Efficient State Space Construction for a Class of Timed Automata

    • Johan Arcile, Raymond Devillers, Hanna Klaudel
    Pages 246-263
  11. Compositional Techniques for Boolean Networks and Attractor Analysis

    • Hanin Abdulrahman, Jason Steggles
    Pages 264-294
  12. Back Matter

    Pages 295-295

About this book

Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XVII. These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process.
ToPNoC contains:
– Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences
– Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series)
– Other papers invited for publication in ToPNoC
– Papers submitted directly to ToPNoC by their authors
The 17th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2022.
The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, distributed simulations, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

Editors and Affiliations

  • School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    Maciej Koutny

  • Fakultät Zentralbereich, FernUniversität in Hagen, Hagen, Germany

    Robin Bergenthum

  • Dept of Computer Science, Iowa State University, Ames, USA

    Gianfranco Ciardo

Bibliographic Information

Buy it now

Buying options

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