Description
Transactions on Petri Nets and Other Models of Concurrency XIV, 1st ed. 2019
Transactions on Petri Nets and Other Models of Concurrency Series
Coordinators: Koutny Maciej, Pomello Lucia, Kristensen Lars Michael
Language: EnglishSubjects for Transactions on Petri Nets and Other Models of...:
Keywords
graph theory; internet; petri nets; semantics; software engineering; data structures
255 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>Comment
/li>
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.