Application and theory of petri nets and concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017 : proceedings - Aalst, Wil van der 1966-; Best, Eike 1951- (Springer, 2017)