Hierarchische Analyse technischer Systeme mit Petri-Netzen. - Stefan Wintz (VDI-Verlag, 1995)