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 Mathematical Analysis of Complex Cellular Activity by
Cover of the book Fundamental Solutions of Linear Partial Differential Operators by
Cover of the book On the Mathematical Modeling of Memristor, Memcapacitor, and Meminductor by
Cover of the book Compressive Force-Path Method by
Cover of the book Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data by
Cover of the book Cyberspace by
Cover of the book Gravitational Wave Astrophysics with Pulsar Timing Arrays by
Cover of the book The Democratic Theory of Hans-Georg Gadamer by
Cover of the book Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future by
Cover of the book Cooperative Cognitive Radio Networking by
Cover of the book Metal Free C-H Functionalization of Aromatics by
Cover of the book Digenetic Trematodes by
Cover of the book Designing a Place Called Home by
Cover of the book Granite Skyscrapers by
Cover of the book Microwave-assisted Polymer Synthesis 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