Petri-Netze und systemtheoretische Spezifikation Methodiken am Beispiel von Strategien - Mittermayr, Andreas (Passau, Univ., Diplomarbeit, 1996, 1996)