Hierarchische Analyse technischer Systeme mit Petri-Netzen / Stefan Wintz. Düsseldorf : VDI-Verl., 1995