Alexey Tovchigrechko:
Efficient symbolic analysis of bounded Petri nets using Interval
Decision Diagrams, October 2008.
Thomas Mertke:
Zertifizierung von speicherprogrammierbaren Steuerungen, Oktober 2003.
Peter Deussen:
Analyse nebenläufiger Systeme mit Hilfe von
Prozeßautomaten, Dezember 2001.
Jochen Spranger:
Symbolische LTL-Verifikation von Petrinetzen, Dezember 2001.
Marten Probst:
Out-of-core Support for a Symbolic Model Checker for Stochastic Petri Nets, February 2011.
Robert Strittmatter:
Symbolische Berechnung von Petrinetz-Invarianten mit Intervall-Entscheidungsdiagrammen, July 2010.
Matthias Brattig:
Entwicklung eines Präprozessors für JavaFC, Februar 2010.
Andreas Franzke:
Charlie 2.0 - a multi-threaded Petri net analyzer, December 2009.
Oliver Fischer (Master/eBusiness), Cobetreuung - epion GmbH:
Automatisierte Testverfahren für web-basierte Anwendungen,
November 2009.
Marcel Schwarze (Diplom/FH), Cobetreuung - FHL:
Web-basierte Petrinetz-Animation, November 2009.
Ansgar Fischer:
Analyse von zeitbewerteten Petrinetzen mit Erreichbarkeitsgraphen,
Oktober 2009.
Stefan Dieringer:
Entwicklung
eines Systems für verteilte Petrinetzanalysen;
November 2007.
Sebastian Lehrack:
Ein
Werkzeug zur Modellierung und Simulation von stochastischen Petrinetzen
im Kontext biochemischer Netzwerke, November 2007.
Daniel Schrödter:
Reengineering biochemischer Netzwerke, Oktober 2007.
Matthias Dube:
Entwicklung und Realisierung eines allgemeinen Konzepts zur Interaktion
zweier Netzklassen in Snoopy, Februar 2007.
Rolf Ginter:
EIn Werkzeug zur
Quellcode-Aufbereitung als vorbereitenden Schritt für den Modultests,
Januar 2007.
Anja Kurth:
Fehlerbäume in Snoopy, Januar 2007.
Martin Schwarick:
Ein Werkzeug zur Analyse von Petrinetzmodellen, September 2006.
Katja Winder:
Invariantenbasierte
Strukturierung von Petri-Netzen, Juli 2006.
Daniel Scheibler:
Ein
Werkzeug zum Entwerfen und Simulieren kontinuierlicher Petrinetze,
Januar 2006.
Thomas Runge:
Methodik zur
Modellierung und Validierung von biochemischen Netzwerken
mit gefärbten Petri Netzen, dargestellt am Beispiel der Glykolyse,
November 2004.
Gerry Neumann:
Modellierung
biochemischer Abläufe mit Petri-Netzen;
Hämostase vs. Fibrinolyse vs. Inhibitoren, Juli 2004.
Markus Fieber:
Entwurf und Implementierung eines generischen, adaptiven Werkzeugs zur
Arbeit mit Graphen, Juli 2004.
Thomas Menzel:
Entwurf und Implementierung eines Frameworks zur
Petri-Netz-orientierten Modellierung, April 1997.
Marcel Baronick (BA/Informatik), Cobetreuung - philotech GmbH:
Konzeption und Realisierung einer datenbankgestützten Angebotsverwaltung, Oktober 2010.
Thomas Meier:
Beschleunigung des Gillespie-Algorithmus auf Mehrkern-Prozessoren, Februar 2010.
Marcus Wünsche:
Entwurf und Implementierung eines generischen Formeleditors, Februar 2010.
Erik Bergmann, Cobetreuung - philotech GmbH:
Systematisches Testen nebenläufiger Embedded-Software-Systeme, Januar 2010.
Johannes Koziol (BA/IMT), Cobetreuung - philotech GmbH:
Entwicklung eines Prozessanalysemodells zur Optimierung von Softwareevaluierungsprozessen
unter Beachtung spezieller Anforderungen der Luftfahrtindustrie, Januar 2010.
Manuel Bülow:
Erweiterung der Petrinetz-Formate um Meta-Daten-Einträge und Erstellung einer Datenbank zur
Verwaltung und Archivierung von Petrinetzen, Dezember 2009.
Gunnar Karche (BA/IMT), Cobetreuung - philotech GmbH:
Regressionstests graphischer Oberflächen, Juli 2009.
Krispin Schulz (BA/IMT):
Eine Erweiterung der Software Snoopy zur Verarbeitung und Verwaltung
von Petrinetz-Animationen, November 2008.
Andreas Franzke:
Concept for Re-designing Charlie, November 2008.
Matthias Brattig:
JavaFC - Konzepte zur Nebenläufigkeit in Java, Oktober 2008.
Denny Bayer (BA/IMT):
Testen mit
Musik, September 2008.
Sebastian Lehrack:
Application of stochastic Petri nets for biochemical networks,
März 2007.
Stefan Dieringer:
Entwicklung eines Systems für verteilte Petrinetzanalysen,
Dezember 2006.
Anja Kurth:
Erweiterung von Snoopy um eine Netzklasse "Fault Tree", März 2006.
Matthias Dube:
Weiterentwicklung des Softwareprojekts "SNOOPY", Januar 2006.
Rolf Ginter:
Konzeption und Durchführung von Anweisungs- und
Zweigüberdeckungstest für die Modelchecker dsszCTL und
dsszLTL, Juli 2005.
Daniel Schrödter:
Petri-Netz-Modellierung des Lipoproteinstoffwechsels des Menschen,
August 2004.
Martin Schwarick (BA/Informatik):
Erweiterung
eines BDD-basierten LTL-Modelcheckers, April 2004.
Daniel Scheibler:
Diversitäre Programmierung, April 2004.
Thomas Runge:
Modellierung und Analyse von Stoffwechselprozessen
mit Petri-Netzen, dargestellt am Beispiel der Glykolyse, August 2003.
Markus Fieber:
SNOOPY - ein generisches,
adaptives Werkzeug für Graphen,
Handbuch für den Administrator, Januar 2003.
Gerry Neumann:
Modellierung des XDT-Protokolls, anhand
der Beschreibung mit der
Modellsprache, mit Petri-Netzen und deren Analyse, Dezember 2001.
Reiko Klimpsch:
Entwurf, Modellierung und Realisierung eines einfachen MP3-Players,
März 2000.
Andreas Noack:
Ein ZBDD-Paket für effizientes Model Checking von Petrinetzen,
Juni 1999.
sachdienliche Hinweise zu dieser Seite bitte an: