Application and Theory of Petri Nets and Concurrency
Springer International Publishing (Verlag)
9783030769826 (ISBN)
The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.
Keynotes.- Topics in Region Theory and Synthesis Problems.- Flat Petri Nets.- Application of Concurrency to System Design.- Cost and Quality in Crowdsourcing Workflows.- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design.- A Turn-Based Approach for Qualitative Time Concurrent Games.- Games.- Canonical Representations for Direct Generation of Strategies in High-level Petri Games.- Automatic Synthesis of Transiently Correct Network Updates via Petri Games.- Verification.- Computing Parameterized Invariants of Parameterized Petri Nets.- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets.- Skeleton Abstraction for Universal Temporal Properties.- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets.- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets.- Synthesis and Mining.- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable.- Synthesis of (Choice-Free) Reset Nets.- Synthesis of Petri Nets with restricted place-environments: classical and parameterized.- Discovering Stochastic Process Models By Reduction and Abstraction.- Reachability and Partial Order.- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets.- A Lazy Query Scheme for Reachability Analysis in Petri nets.- Abstraction-based Incremental Inductive Coverability for Petri nets.- Firing Partial Orders in a Petri Net.- Semantics.- Deterministic concurrent systems.- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets.- Tools.- Cortado - An Interactive Tool for Data-Driven Process Discovery and Modeling.- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data.
| Erscheinungsdatum | 22.05.2021 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | XI, 487 p. 146 illus., 59 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 759 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Applications • Architecting • architecture verification and validation • Artificial Intelligence • Automata Theory • Colored Petri Nets • Computer Science • conference proceedings • Databases • Embedded Systems • Formal Logic • graph theory • Informatics • Model Checking • Petri Nets • Research • software architecture • Software Design • Software engineering • timed petri net |
| ISBN-13 | 9783030769826 / 9783030769826 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
