Complexity metrics for Petri net based logic control algorithms. - Georg Frey; Lothar Litz; Frank Klöckner (SMC, 2000)