Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings - van der Aalst, Wil; Best, Eike (Springer International Publishing : Imprint: Springer, 2017)