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.
