Application and Theory of Petri Nets and Concurrency
42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings
Herausgegeben:Buchs, Didier; Carmona, Josep
Application and Theory of Petri Nets and Concurrency
42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings
Herausgegeben:Buchs, Didier; Carmona, Josep
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- Transactions on Petri Nets and Other Models of Concurrency XV37,99 €
- Application and Theory of Petri Nets and Concurrency37,99 €
- Transactions on Petri Nets and Other Models of Concurrency XVI96,29 €
- Transactions on Petri Nets and Other Models of Concurrency XVII63,99 €
- Application and Theory of Petri Nets and Concurrency53,49 €
- Automated Technology for Verification and Analysis37,99 €
- Software Engineering and Formal Methods48,99 €
-
-
-
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.
- Produktdetails
- Theoretical Computer Science and General Issues 12734
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-030-76982-6
- 1st ed. 2021
- Seitenzahl: 500
- Erscheinungstermin: 21. Mai 2021
- Englisch
- Abmessung: 235mm x 155mm x 27mm
- Gewicht: 750g
- ISBN-13: 9783030769826
- ISBN-10: 3030769828
- Artikelnr.: 61606639
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
- Theoretical Computer Science and General Issues 12734
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-030-76982-6
- 1st ed. 2021
- Seitenzahl: 500
- Erscheinungstermin: 21. Mai 2021
- Englisch
- Abmessung: 235mm x 155mm x 27mm
- Gewicht: 750g
- ISBN-13: 9783030769826
- ISBN-10: 3030769828
- Artikelnr.: 61606639
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.