Application and Theory of Petri Nets and Concurrency

38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, 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: 9783319578613
Publisher: Springer International Publishing Publication: May 4, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319578613
Publisher: Springer International Publishing
Publication: May 4, 2017
Imprint: Springer
Language: English

This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.

The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking,  Liveness and Opacity,  Stochastic Petri Nets,  Specific Net Classes, and  Petri Nets for Pathways.

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 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.

The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking,  Liveness and Opacity,  Stochastic Petri Nets,  Specific Net Classes, and  Petri Nets for Pathways.

More books from Springer International Publishing

Cover of the book The Nature of Life and Its Potential to Survive by
Cover of the book The Day the King Defaulted by
Cover of the book Multi-Agent Based Simulation XVII by
Cover of the book PID Controller Tuning Using the Magnitude Optimum Criterion by
Cover of the book Complexity in Society: From Indicators Construction to their Synthesis by
Cover of the book The Cosmos and the Creative Imagination by
Cover of the book Gender and Family in European Economic Policy by
Cover of the book Ireland and Masculinities in History by
Cover of the book Will Brexit Damage our Security and Defence? by
Cover of the book Climate Change and Human Health Scenario in South and Southeast Asia by
Cover of the book The Theoretical and Practical Dimensions of Regionalism in East Asia by
Cover of the book Fault-Tolerance Techniques for High-Performance Computing by
Cover of the book Electronic Design Automation of Analog ICs combining Gradient Models with Multi-Objective Evolutionary Algorithms by
Cover of the book Laser-Plasma Interactions and Applications by
Cover of the book Advances in Dynamic and Mean Field Games 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