Atjaunināt sīkdatņu piekrišanu

Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 2325, 2021, Proceedings 1st ed. 2021 [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 487 pages, height x width: 235x155 mm, weight: 759 g, 59 Illustrations, color; 87 Illustrations, black and white; XI, 487 p. 146 illus., 59 illus. in color., 1 Paperback / softback
  • Sērija : Theoretical Computer Science and General Issues 12734
  • Izdošanas datums: 21-May-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030769828
  • ISBN-13: 9783030769826
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 2325, 2021, Proceedings 1st ed. 2021Palielināt
  • Formāts: Paperback / softback, 487 pages, height x width: 235x155 mm, weight: 759 g, 59 Illustrations, color; 87 Illustrations, black and white; XI, 487 p. 146 illus., 59 illus. in color., 1 Paperback / softback
  • Sērija : Theoretical Computer Science and General Issues 12734
  • Izdošanas datums: 21-May-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030769828
  • ISBN-13: 9783030769826
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783030769826.html
Keywords:
This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.

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.