Transactions on Petri Nets and Other Models of Concurrency XIII

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Koutny, Maciej (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Kristensen, Lars Michael (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Penczek, Wojciech (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Transactions on Petri Nets and Other Models of Concurrency, 11090
• Θέματα: Computers.; Computer science-Mathematics.; Data structures (Computer science).; Transportation.; Data mining.; Operating systems (Computers).; Theory of Computation.; Discrete Mathematics in Computer Science.; Data Structures.; Data Mining and Knowledge Discovery.; Operating Systems.

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

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

• Computing Alignments of Event Data and Process Models
• Heuristic Mining Approaches for High-Utility Local Process Models
• On Stability of Regional Orthomodular Posets
• Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms
• Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets
• Complexity Aspects of Web Services Composition
• GPU Computations and Memory Access Model Based on Petri Net
• Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems
• MCC 2017 - The Seventh Model Checking Contest.