Willkommen, schön sind Sie da!
Logo Ex Libris

Application and Theory of Petri Nets and Concurrency

  • Kartonierter Einband
  • 368 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency... Weiterlesen
20%
93.00 CHF 74.40
Sie sparen CHF 18.60
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.

The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.



Includes supplementary material: sn.pub/extras

Includes supplementary material: sn.pub/extras



Inhalt
Distinguished Carl Adam Petri Lecture.- Simulation of Colored Petri Nets.- Petri Net Tools.- Model Checking.- Liveness and Opacity.- Stochastic Petri Nets.- Specific Net Classes.- Petri Nets for Pathways.

Produktinformationen

Titel: Application and Theory of Petri Nets and Concurrency
Untertitel: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
Editor:
EAN: 9783319578606
ISBN: 331957860X
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Genre: Informatik
Anzahl Seiten: 368
Gewicht: 557g
Größe: H235mm x B155mm x T19mm
Jahr: 2017
Untertitel: Englisch
Auflage: 1st ed. 2017

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"