Skip to main content
SpringerLink
Log in

Transactions on Petri Nets and Other Models of Concurrency XIV

  • Book
  • © 2019

Overview

Editors:
  1. Maciej Koutny

    1. Newcastle University, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Lucia Pomello

    1. Università degli Studi di Milano, Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Lars Michael Kristensen

    1. Western Norway University of Applied Sciences, Bergen, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains revised and extended versions of a selection of the best workshop papers presented at Petri Nets 2018 and ACSD 2018
  • Covers topics including model checking and system verification, refinement, and synthesis
  • Areas of application include process mining, formal semantics and business processes

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

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

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 (9 chapters)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. A Tour in Process Mining: From Practice to Algorithmic Challenges

    • Wil van der Aalst, Josep Carmona, Thomas Chatain, Boudewijn van Dongen
    Pages 1-35

  3. How Petri Net Theory Serves Petri Net Model Checking: A Survey

    • Karsten Wolf
    Pages 36-63

  4. Parametric Verification: An Introduction

    • Étienne André, Michał Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
    Pages 64-100

  5. Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics

    • David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
    Pages 101-125

  6. Formal Modelling and Incremental Verification of the MQTT IoT Protocol

    • Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
    Pages 126-145

  7. Kleene Theorems for Free Choice Automata over Distributed Alphabets

    • Ramchandra Phawade
    Pages 146-171

  8. Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach

    • Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
    Pages 172-191

  9. Evaluating Conformance Measures in Process Mining Using Conformance Propositions

    • Anja F. Syring, Niek Tax, Wil M. P. van der Aalst
    Pages 192-221

  10. Relabelling LTS for Petri Net Synthesis via Solving Separation Problems

    • Uli Schlachter, Harro Wimmel
    Pages 222-254

  11. Back Matter

    Pages 255-255
    Download chapter PDF
Back to top

Keywords

About this book

The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.The 10 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, communication protocols, 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

  • Newcastle University, Newcastle upon Tyne, UK

    Maciej Koutny

  • Università degli Studi di Milano, Milan, Italy

    Lucia Pomello

  • Western Norway University of Applied Sciences, Bergen, Norway

    Lars Michael Kristensen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation