Transactions on Petri Nets and Other Models of Concurrency XII (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
217
Utgivningsdatum
2017-09-26
Upplaga
1st ed. 2017
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Medarbetare
Koutny, Maciej (ed.), Kleijn, Jetty (ed.), Penczek, Wojciech (ed.)
Illustratör/Fotograf
Bibliographie
Illustrationer
89 Illustrations, black and white; XVII, 217 p. 89 illus.
Dimensioner
234 x 156 x 13 mm
Vikt
336 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783662558614

Transactions on Petri Nets and Other Models of Concurrency XII

av Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang
Häftad,  Engelska, 2017-09-26
760
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
Visa alla 1 format & utgåvor
The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. It also contains one paper submitted directly to ToPNoC. The 9 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
Visa hela texten

Passar bra ihop

  1. Transactions on Petri Nets and Other Models of Concurrency XII
  2. +
  3. Co-Intelligence

De som köpt den här boken har ofta också köpt Co-Intelligence av Ethan Mollick (häftad).

Köp båda 2 för 950 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang

Innehållsförteckning

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.

Du kanske gillar