Konzeption und Entwicklung eines graphischen Analysewerkzeugs für Höhere Petri-Netze mit zustandsabhängiger Schaltregel - Süß, Wolfgang (Kernforschungszentrum, 1993)