RobotikDirk Abel × Petri-Netze für IngenieureModellbildung und Analyse diskret gesteuerter SystemeDirk AbelSpringer BerlinSoftcover2012