S/T-Systeme (Petri-Netze mit anonymen Marken)

ISBN-13: 9783638676915 / Niemiecki / Miękka / 2007 / 40 str.

Markus Dressler; Markus Dre Ler

Opis

Studienarbeit aus dem Jahr 2005 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,7, Westfalische Wilhelms-Universitat Munster (Institut fur Wirtschaftsinformatik, Lehrstuhl fur Quantitative Methoden der Wirtschaftsinformatik (Prof. Dr. U. Muller-Funk)), Veranstaltung: Skiseminar "Informationsmodellierung" (Marz) im WS04/05, 9 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: Petri-Netze sind, wie einst von Peter Stahlknecht als ironischer Hinweis auf ihren Verbreitungs- und Bekanntheitsgrad bemerkt, keine Instrumente zum Fische fangen. Vielmehr handelt es sich bei Petri-Netzen um eine der seltenen deutschen Beitrage zur theoretischen Informatik, die weltweit und auch in der US-amerikanischen Fachoffentlichkeit wahrgenommen wurden. Petri-Netze gehoren zu den wenigen wissenschaftlichen Schulen, die auch im heutigen Zeitalter nach dem Namen ihres Begrunders benannt wurden. Der Erste, der sich systematisch mit dieser Art von Graphen auseinandergesetzt hat, war Carl Adam Petri in seiner 1962 erschienenen Dissertation mit dem Titel "Kommunikation mit Automaten." Wahrend der praktische Nutzen von Petri-Netzen fur Anwender noch immer weithin unbekannt ist, haben Petri-Netze in der akademischen Welt bereits eine weite Verbreitung und Beachtung erfahren. 2004 fand bereits zum 25. Mal die "International Conference on Application and Theory of Petri Nets" statt, eine Fachgruppe der deutschen "Gesellschaft fur Informatik" beschaftigt sich mit Petri-Netzen und neben vielen anderen hat auch Konrad Zuse ein Buch uber Petri-Netze geschrieben. Da es sich bei dieser Ausarbeitung um die erste in einer Sequenz von sechsen zum Thema Petri-Netze handelt, wird im zweiten Kapitel besonderer Wert darauf gelegt, einen Uberblick uber die allgemeinen Eigenschaften und Arten von Petri-Netzen und deren Grundbegriffe zu geben. Das dritte Kapitel beschaftigt sich tiefer gehender zum einen mit ausgewahlten statischen Struktureigenschaften und Transformationen von Petri-Netzen. Z