Transactions on Petri Nets and Other Models of Concurrency XIV, 1st ed. 2019 Transactions on Petri Nets and Other Models of Concurrency Series
Coordonnateurs : Koutny Maciej, Pomello Lucia, Kristensen Lars Michael
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.
Date de parution : 12-2019
Ouvrage de 255 p.
15.5x23.5 cm
Thèmes de Transactions on Petri Nets and Other Models of... :
Mots-clés :
graph theory; internet; petri nets; semantics; software engineering; data structures