Application and theory of Petri nets 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings (Springer, 2012)