International Workshop on Petri Nets and Software Engineering (PNSE'18 @ Petri Nets 2018 and ACSD 2018)