Transactions on petri nets and other models of concurrency XII. (2017)

• Record Type: Book
• Other Titles: Transactions on petri nets and other models of concurrency 12
• Further Information: Note: Maciej Koutny, Jetty Kleijn, Wojciech Penczek (eds.).
• Editors: Koutny, Maciej, 1958-; Kleijn, Jetty; Penczek, Wojciech
• Contents: 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.
• Publisher Details: Berlin, Germany : Springer
• Publication Date: 2017
• Extent: 1 online resource (xvii, 217 pages), illustrations
• Subjects: 511.3/5; Petri nets; Petri nets; Computer Science; Software Engineering; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Data Structures; Electronic books
• Languages: English
• ISBNs: 9783662558621; 3662558629
• Related ISBNs: 9783662558614; 3662558610
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 29, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.