37th International Conference on Applications and Theory of Petri Nets and Concurrency | 16th International Conference on Application of Concurrency to System Design 2016 (PN 2016 - ACSD 2016 or PETRI NETS 2016)