Transactions on Petri Nets and Other Models of Concurrency XIV

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Koutny, Maciej (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Pomello, Lucia (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Kristensen, Lars Michael (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Transactions on Petri Nets and Other Models of Concurrency, 11790
• Θέματα: 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...

Πίνακας περιεχομένων:

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