Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
- ISBN-10
- 3319578618
- ISBN-13
- 9783319578613
- Series
- Application and Theory of Petri Nets and Concurrency
- Category
- Computers
- Pages
- 351
- Language
- English
- Published
- 2017-05-04
- Publisher
- Springer
- Authors
- Wil van der Aalst, Eike Best
Description
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.
Get the book
Other editions
-
- 2019-06-11
- 471 pages
- Ebook
- Springer
-
- 2018-05-29
- 427 pages
- Ebook
- Springer
-
- 2015-06-03
- 351 pages
- Ebook
- Springer
-
- 2014-06-30
- 395 pages
- Ebook
- Springer
Similar books
-
Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
By Laure Petrucci, Luca BernardinelloThis book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.
-
Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings
By Josep Carmona, Didier BuchsThis book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.
-
Transactions on Petri Nets and Other Models of Concurrency XVI
By Fabrice Kordon, Maciej Koutny, Daniel MoldtThus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
-
Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings
By Ryszard Janicki, Natalia Sidorova, Thomas ChatainNow we describe the behaviour of the reading the segment 0n2 counters C3 and C4 x(2)A. Using its finite control, ... decrease when reading the first (n2n − 1) letters 0 and then will remain unchanged when reading the last letter 0, ...
-
Transactions on Petri Nets and Other Models of Concurrency XII
By Maciej Koutny, Wojciech Penczek, Jetty KleijnThus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
-
Transactions on Petri Nets and Other Models of Concurrency XI
By Maciej Koutny, Jörg Desel, Jetty KleijnThus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
-
Transactions on Petri Nets and Other Models of Concurrency XV
By Fabrice Kordon, Maciej Koutny, Lucia PomelloThus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
-
Transactions on Petri Nets and Other Models of Concurrency VI
By Lars M. Kristensen, Wil M. P. van der Aalst, Marco Ajmone MarsanThus this volume gives a good view of ongoing concurrent systems and Petri nets research.
-
Transactions on Petri Nets and Other Models of Concurrency X
By Maciej Koutny, Jörg Desel, Serge HaddadToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences- Special sections/issues within particular subareas (similar to those published in the Advances in Petri ...
-
Transactions on Petri Nets and Other Models of Concurrency IX
By Alex Yakovlev, Maciej Koutny, Serge HaddadThus, this volume gives a good view of ongoing concurrent systems and Petri nets research.