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 Modelling and Control of Dynamic Systems Using Gaussian Process Models by
Cover of the book Competitions for Young Mathematicians by
Cover of the book The Management of Gallstone Disease by
Cover of the book Follow-Up for NICU Graduates by
Cover of the book Integrated Reporting by
Cover of the book Exploitation and Misrule in Colonial and Postcolonial Africa by
Cover of the book Cultural Tourism in a Digital Era by
Cover of the book Reinventing Development by
Cover of the book CMOS Indoor Light Energy Harvesting System for Wireless Sensing Applications by
Cover of the book Birds as Useful Indicators of High Nature Value Farmlands by
Cover of the book Patterns of Dynamics by
Cover of the book Estimation and Testing Under Sparsity by
Cover of the book French Emigration to Great Britain in Response to the French Revolution by
Cover of the book Responding to China’s Rise by
Cover of the book Guide to Computing Fundamentals in Cyber-Physical Systems 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