![]() | Application and Theory of Petri Nets and Concurrency The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools. |
![hidden image for function call](https://upload.wikimedia.org/wikipedia/commons/c/ca/1x1.png)