Security in Petri net workflows - Knorr, Konstantin (2001)