Transactions on Petri Nets and Other Models of Concurrency XIV

• Corporate Author: SpringerLink (Online service)
• Other Authors: Koutny, Maciej (Editor, http://id.loc.gov/vocabulary/relators/edt), Pomello, Lucia (Editor, http://id.loc.gov/vocabulary/relators/edt), Kristensen, Lars Michael (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Transactions on Petri Nets and Other Models of Concurrency, 11790
• Subjects: Computers.; Data structures (Computer science).; Computer science-Mathematics.; Software engineering.; Application software.; E-commerce.; Theory of Computation.; Data Structures.; Discrete Mathematics in Computer Science.; Software Engineering.; Information Systems Applications (incl. Internet).; e-Commerce/e-business.

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

Table of Contents:

• A Tour in Process Mining: From Practice to Algorithmic Challenges
• How Petri Net Theory Serves Petri Net Model Checking: A Survey
• Parametric Verification: An Introduction
• Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics
• Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets
• Formal Modelling and Incremental Verification of the MQTT IoT Protocol
• Kleene Theorems for Free Choice Automata over Distributed Alphabets
• Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach
• Evaluating Conformance Measures in Process Mining Using Conformance Propositions
• Relabelling LTS for Petri Net Synthesis via Solving Separation Problems.