Transactions on Petri Nets and Other Models of Concurrency XII (eBook, PDF)

Redaktion: Koutny, Maciej; Zhang, Mingmin; Penczek, Wojciech; Kleijn, Jetty

• Format: PDF

Produktbeschreibung

Contains revised and extended versions of a selection of the best workshop papers presented at Petri Nets 2016 and ACSD 2016

Covers topics including model checking, system verification and applications of Petri nets

Applicational areas include security, databases, business processes, and distributed systems

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 217
• Erscheinungstermin: 19. September 2017
• Englisch
• ISBN-13: 9783662558621
• Artikelnr.: 53064207

Inhaltsangabe

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.