Netzwerk-HardwareDirk Abel × Petri-Netze für IngenieureModellbildung und Analyse diskret gesteuerter SystemeDirk AbelSpringer BerlineBook2013