Application and Theory of Petri Nets and Concurrency

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

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Application and Theory of Petri Nets and Concurrency by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319912684
Publisher: Springer International Publishing Publication: May 29, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319912684
Publisher: Springer International Publishing
Publication: May 29, 2018
Imprint: Springer
Language: English

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 19th 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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 19th 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.

More books from Springer International Publishing

Cover of the book Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems using Orthogonal Hybrid Functions by
Cover of the book The Sociocultural Activity of High Stakes Standardised Language Testing by
Cover of the book Queens Matter in Early Modern Studies by
Cover of the book Confectionery Science and Technology by
Cover of the book Kinetics and Spectroscopy of Low Temperature Plasmas by
Cover of the book Enhancing Employability in Higher Education through Work Based Learning by
Cover of the book Fractal Flow Design: How to Design Bespoke Turbulence and Why by
Cover of the book Applied Survival Analysis Using R by
Cover of the book Brooklyn’s Bushwick - Urban Renewal in New York, USA by
Cover of the book A History of Biophysics in Contemporary China by
Cover of the book Progress in Nanophotonics 4 by
Cover of the book The Congruent Facelift by
Cover of the book An Econometric Model of the US Economy by
Cover of the book Selection of Main Mechanical Ventilators for Underground Coal Mines by
Cover of the book The Violence of Democracy by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy