Seminar Petri Netze
SoSe 08
Veranstaltungssinhalt
| Seminar | Vortrag | Thema | Vortragende |
| 09.12.2008 | 1 | Einführung in die Petri-Netze | Mareike Dabisch |
| 16.12.2008 | 1 | Funktionale Petri-Netze | Kai Frederic Engelmann |
| 06.01.2009 | 1 | ||
| 13.01.2009 | 1 | Hybride Petri-Netze | Dominik Vahrenhorst |
| 20.01.2009 | 1 | Fuzzy Petri Nets | Andreas Bremges Richard Madsack |
| 2 | Visualisierung des Apoptosis Pathways mittels Cytoscape | Arne Husemann | |
| 3 | Cell Illustrator | Delil Kürklü | |
| 4 | Signal Pathway Analysis | Konstantin Otte |
Weiterführende Links
- Pipe Petri Net editor: http://pipe2.sourceforge.net/
- World of PN: http://www.informatik.uni-hamburg.de/TGI/PetriNets/
- Tutorial: http://olli.informatik.uni-oldenburg.de/PetriEdiSim/tutor3.html
- Skript: http://www.is.informatik.uni-duisburg.de/courses/mod_ws05/skript/kapitel405.pdf
- http://public.tfh-berlin.de/~grude/Petrinetze.pdf
- http://www2.informatik.hu-berlin.de/top/pnene_buch/pnene_buch.pdf
Literaturempfehlungen
- H. Wimmel, L. Priese: Petri-Netze
(Examen.Press) (Taschenbuch) - B. Baumgarten: Petri-Netze: Grundlagen und Anwendungen.
Spektrum Akademischer Verlag 1996. - K. Schmidt: Analyse von Petrinetz-Modellen.
Vorlesungsskript (Schwerpunkt: Modelchecking), HU Berlin, SS 1998, SS 1999. - W. Reisig: Petrinetze: Eine Einführung.
Springer 1986. - W. Reisig: Elements of Distributed Algorithms -- Modeling and Analysis with Petri Nets.
Springer 1998. - P. Starke: Analyse von Petri-Netz-Modellen.
Teubner 1990.