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 Modeling and Optimization: Theory and Applications by
Cover of the book Tree-Shaped Fluid Flow and Heat Transfer by
Cover of the book Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries by
Cover of the book Never Split Tens! by
Cover of the book The Small-Scale Fisheries Guidelines by
Cover of the book Multi-Agent Systems by
Cover of the book Sustainable Aviation by
Cover of the book Ethics of Human Rights by
Cover of the book Responsible Innovation 3 by
Cover of the book Ascidians in Coastal Water by
Cover of the book Reinterpreting Sub-Saharan Cities through the Concept of Adaptive Capacity by
Cover of the book Diagnostic Techniques in Industrial Engineering by
Cover of the book Information and Communication Technology for Intelligent Systems (ICTIS 2017) - Volume 1 by
Cover of the book Computer Vision -- ACCV 2014 by
Cover of the book Current Issues in Transitional Justice 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