Skip to main content
SpringerLink
Log in

Application and Theory of Petri Nets and Concurrency

44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Luis Gomes

    1. NOVA University Lisbon, Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert Lorenz

    1. University of Augsburg, Augsburg, Germany

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

Included in the following conference series:

Conference proceedings info: PETRI NETS 2023.

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

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. From Process-Agnostic to Process-Aware Automation, Mining, and Prediction

      • Stefanie Rinderle-Ma, Janik-Vasily Benzin, Juergen Mangler
      Pages 3-15

    3. Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems

      • Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
      Pages 16-33

  3. Process Mining

    1. Front Matter

      Pages 35-35
      Download chapter PDF

    2. There and Back Again

      • Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf
      Pages 37-58

    3. ILP2 Miner – Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming

      • Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovář
      Pages 59-76

    4. Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking

      • Felix Mannhardt, Sander J. J. Leemans, Christopher T. Schwanen, Massimiliano de Leoni
      Pages 77-98

    5. Exact and Approximated Log Alignments for Processes with Inter-case Dependencies

      • Dominique Sommers, Natalia Sidorova, Boudewijn van Dongen
      Pages 99-119

  4. Semantics

    1. Front Matter

      Pages 121-121
      Download chapter PDF

    2. Taking Complete Finite Prefixes to High Level, Symbolically

      • Nick Würdemann, Thomas Chatain, Stefan Haar
      Pages 123-144

    3. Interval Traces with Mutex Relation

      • Ryszard Janicki, Maciej Koutny, Łukasz Mikulski
      Pages 145-166

    4. A Myhill-Nerode Theorem for Higher-Dimensional Automata

      • Uli Fahrenberg, Krzysztof Ziemiański
      Pages 167-188

  5. Tools

    1. Front Matter

      Pages 189-189
      Download chapter PDF

    2. Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems

      • Remigiusz Wiśniewski, Grzegorz Bazydło, Marcin Wojnakowski, Mateusz Popławski
      Pages 191-204

    3. Mochy: A Tool for the Modeling of Concurrent Hybrid Systems

      • Loïc Hélouët, Antoine Thébault
      Pages 205-216

    4. RENEW: Modularized Architecture and New Features

      • Daniel Moldt, Jonte Johnsen, Relana Streckenbach, Laif-Oke Clasen, Michael Haustermann, Alexander Heinze et al.
      Pages 217-228

    5. Explorative Process Discovery Using Activity Projections

      • Yisong Zhang, Wil M. P. van der Aalst
      Pages 229-239

  6. Verification

    1. Front Matter

      Pages 241-241
      Download chapter PDF

    2. Computing Under-approximations of Multivalued Decision Diagrams

      • Seyedehzahra Hosseini, Gianfranco Ciardo
      Pages 243-263
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 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; timed models; model transformation. The book also includes two invited talks in full paper length. 

Editors and Affiliations

  • NOVA University Lisbon, Caparica, Portugal

    Luis Gomes

  • University of Augsburg, Augsburg, Germany

    Robert Lorenz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation