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 Death Across Cultures by
Cover of the book Practical Strategies for Clinical Management of Bullying by
Cover of the book Employee Engagement in Media Management by
Cover of the book Graph Transformation by
Cover of the book Engineering Education 4.0 by
Cover of the book A Primer on QSAR/QSPR Modeling by
Cover of the book Pathology of Testicular and Penile Neoplasms by
Cover of the book The Progressive Environmental Prometheans by
Cover of the book Inference on the Hurst Parameter and the Variance of Diffusions Driven by Fractional Brownian Motion by
Cover of the book Boycotts Past and Present by
Cover of the book Informational Environments by
Cover of the book Synthesis and Modification of Heterocycles by Metal-Catalyzed Cross-coupling Reactions by
Cover of the book Corruption in Latin America by
Cover of the book Tools and Methods of Program Analysis by
Cover of the book Quality, Reliability, Security and Robustness in Heterogeneous 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