Transactions on Petri Nets and Other Models of Concurrency XII

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Koutny, Maciej (Επιμελητής έκδοσης), Kleijn, Jetty (Επιμελητής έκδοσης), Penczek, Wojciech (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
• Σειρά: Lecture Notes in Computer Science, 10470
• Θέματα: Computer science.; Software engineering.; Data structures (Computer science).; Algorithms.; Computer logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Data Structures.

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

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

• Properties of Plain, Pure, and Safe Petri Nets
• Similarity-based Approaches for Determining the Number of Trace Clusters in Process Discovery
• Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions
• Formal Modelling and Analysis of Distributed Storage Systems
• DB-Nets: on the Marriage of Colored Petri Nets and Relational Databases
• Transition Systems Reduction: Balancing between Precision and Simplicity
• Stubborn Set Intuition Explained
• Decomposed Replay Using Hiding and Reduction as Abstraction
• Multiplicative Transition Systems.