PN Lernen

Studium » PNLernen

Literatur für meine letzte Prüfung Petrinetze und Testen:

1. Petrinetze

• Baumgarten, Bernd: Petri-Netze - Grundlagen und Anwendungen, Spektrum Akademischer Verlag, 1996, Heidelberg, Berlin
• Desel, Jörg: Struktur und Analyse von FreeChoice-Petrinetzen
• Priese, Lutz: Theoretische Informatik, Petri-Netze
• Reisig, Wolfgang: Petrinetze
• Starke, Peter H.: Analyse von Petri-Netz-Modellen

2. Testen

• "Testmethoden für sequentielle und nebenläufige Software-Systeme" (Dr. Eike Hagen Riedemann; Universität Dortmund; 1997 )
• "Testmethoden für sequentielle und nebenläufige Software-Systeme - Zusammenfassung" (Michael Gregorius)