-
Zur Startseite
Zum Editor

Zum Tutorial

PetriEdiSim

Tutorial zum Thema "Petri-Netze"
4.   Literaturverzeichnis und Links



Vorheriges Kapitel

4.   Literaturverzeichnis und Links

In diesem Kapitel ist die verwendete Literatur über Petri-Netze aufgelistet.
Am Ende der Seite sind noch ein paar interessante Links auf andere Seiten die sich mit diesem Thema beschäftigen.



Literatur

[KEL76] R.M. Keller, Formal verification of parallel programs, Comm ACM, 19: 371-384, 1976

[MIL80] R. Milner, A Calculus of Communicating Systems, in: Lecture Notes in Computer Science 92, Springer-Verlag, Berlin; Heidelberg; Berlin, 1980

[OLD91] E.-R. Olderog, Nets, Terms and Formulas, Cambridge University Press, 1991

[OLD93] E.-R. Olderog, Skript der Vorlesung Netze und Prozesse, Universität Oldenburg, Theo. Informatik, SS 1993

[OLD95] E.-R. Olderog, Skript der Vorlesung Netze und Prozesse, Universität Oldenburg, Theo. Informatik, WS 1995/96

[REI86] W.Reisig, Petri Nets, An Introduction, EATCS Monographs on Theoret. Comput. Sci., Springer-Verlag, 1985



Links

Hier noch ein paar interessante Links auf weitere Seiten im Internet die sich mit dem Thema "Petri-Netze" beschäftigen.



World of Petri Nets
Alles Mögliche zum Thema Petri-Netze


Petri Network Simulator
Ein weiterer Petri-Netz Editor und Simulator als Java-Applet



Vorheriges Kapitel


© Copyright Oktober 1997 by Petra Hornstein