Contains revised and extended versions of a selection of the best workshop papers presented at Petri Nets 2016 and ACSD 2016Covers topics including model checking, system verification and applications of Petri netsApplicational areas include security, databases, business processes, and distributed systemsweiterlesen