Skip to main content
SpringerLink
Log in

Transactions on Petri Nets and Other Models of Concurrency XIII

  • Book
  • © 2018

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. 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

  3. Wojciech Penczek

    1. Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland

    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 2017 and ACSD 2017
  • Covers topics including model checking, system verification, and applications of Petri nets
  • Areas of application include fault-tolerance, databases, business processes, and distributed systems

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

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. Computing Alignments of Event Data and Process Models

    • Sebastiaan J. van Zelst, Alfredo Bolt, Boudewijn F. van Dongen
    Pages 1-26

  3. Heuristic Mining Approaches for High-Utility Local Process Models

    • Benjamin Dalmas, Niek Tax, Sylvie Norre
    Pages 27-51

  4. On Stability of Regional Orthomodular Posets

    • Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
    Pages 52-72

  5. Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms

    • Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew Miner
    Pages 73-92

  6. Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets

    • Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz
    Pages 93-115

  7. Complexity Aspects of Web Services Composition

    • Karima Ennaoui, Lhouari Nourine, Farouk Toumani
    Pages 116-135

  8. GPU Computations and Memory Access Model Based on Petri Nets

    • Anna Gogolińska, Łukasz Mikulski, Marcin Piątkowski
    Pages 136-157

  9. Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems

    • Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
    Pages 158-180

  10. MCC’2017 – The Seventh Model Checking Contest

    • Fabrice Kordon, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard et al.
    Pages 181-209

  11. Back Matter

    Pages 211-211
    Download chapter PDF
Back to top

Keywords

About this book

The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th International Conference on Application of Concurrency to System Design, ACSD 2017.

The 9 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: fault-tolerance, service composition, databases, communication protocols, business processes, and distributed systems. 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

  • Western Norway University of Applied Sciences, Bergen, Norway

    Lars Michael Kristensen

  • Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland

    Wojciech Penczek

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation