Merkzettel Warenkorb
Produktbild: Application and Theory of Petri Nets and Concurrency
Band 12734

Application and Theory of Petri Nets and Concurrency 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.05.2021

Herausgeber

Didier Buchs + weitere

Verlag

Springer

Seitenzahl

487

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

750 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-76982-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.05.2021

Herausgeber

Verlag

Springer

Seitenzahl

487

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

750 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-76982-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Application and Theory of Petri Nets and Concurrency
  • 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.