Application and Theory of Petri Nets and Concurrency

39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Victor Khomenko, Olivier H. Roux (Herausgeber)

Buch | Softcover

XI, 427 Seiten

2018
Springer International Publishing (Verlag)
9783319912677 (ISBN)

Artikel merken

This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19^th International Conference on Application of Concurrency to System Design, ACSD 2018.

The 15 regular and 8 tool papers, with 1 invited talk presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Petri Nets Synthesis; Analysis and Model Checking; Languages; Semantics and Expressiveness; and Tools.

Petri Nets Synthesis.- Analysis and Model Checking.- Languages.- Semantics and Expressiveness.- Tools.

Erscheinungsdatum	09.05.2018
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XI, 427 p. 124 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	670 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Algorithm analysis and problem complexity • Applications • Computer Science • computer software selection and evaluation • Concurrency • conference proceedings • data structures • graph theory • higher-level models • Informatics • Model-Checking • partial order • Petri Nets • Research • Semantics • Software engineering • Specification • System design • timed and stochastic nets • verification
ISBN-13	9783319912677 / 9783319912677
Zustand	Neuware