Höhere Petri-Netze für die Gerätetechnik. - Dietmar Testrut (VDI-Verlag, 1999)