Analyse von Petri-Netz-Modellen by Peter H. Starke PDF

By Peter H. Starke

ISBN-10: 3519022443

ISBN-13: 9783519022442

ISBN-10: 3663092623

ISBN-13: 9783663092629

Dleses Buch habe lch fOr Informatlker, Ingenleure und Mathematlker geschrleben, dle slch mit der Modelllerung und examine von komplexen Systemen auf der Grundlage von Petrl-Netzen beschAftlgen oder slch dafOr lnteressieren. Dabel gehe ich auf dle elgentllche Modellblldung nur kurz eln, nlcht nur good dles eln weltes Feld lst, ln dem jeder seine elgenen Erfahrungen machen mu . sondern good ror den Systementwurf mit Netzen und speziell fUr dle Anwendung von Petrl-Netzen ln der Steuerungstechnlk berelts Buchpubllkatlonen vorllegen. Hauptanllegen dleses Buches lst dle examine von Netzmodellen. Wer nlcht iiber dle Ausblldung sondern Ober dle praktlschen BedOrfnlsse selner t?glichen Arbelt mit Petrl-Netzen Freundschaft geschlossen hat, wlrd Netze melst zunAchst als Beschrelbungssprache, additionally zur Modellblldung angewendet und als nAchsten Schrltt Ablaufslmulatlonen durchgefOhrt haben. Mlt. tels Slmulatlon kann guy, lnsbesondere bel durchdachter Anlage der Slmulatlonsexperimente, Fehler lm Entwurf bzw. lm modelllerten procedure aufspiiren und lhre Ursachen feststellen oder wenlgstens elngrenzen. guy kann aber durch Slmulatlon die Fehlerfrelhelt des platforms nlcht bewelsen, das lst nur durch examine mogllch. Um elne examine elnes Netzmodells anzulegen und durchzufilhren, slnd theoretlsche Kenntnlsse erforderllch, dle es ermogllchen, rechnergestOtzte Werkzeuge bel der Netzanalyse slnnvoll elnzusetzen und dle Resultate rlchtlg zu lnterpretleren. Dlese Kenntnlsse versuche lch in dlesem Buch zu vermltteln und hoffe, da melne Erfahrungen beim Aufbau solcher Programmpakete dabel posltlv "zu Buche" schlagen.

Show description

Read Online or Download Analyse von Petri-Netz-Modellen PDF

Similar german_5 books

Prof. Dipl.-Ing. Peter Gerdsen, Prof. Dr.-Ing. Peter Kröger's Digitale Signalverarbeitung in der Nachrichtenübertragung: PDF

Das Buch wendet sich sowohl an Ingenieure in der Praxis, die signalverarbeitende Systeme realisieren, als auch an Studenten und alle, die sich in das Gebiet der Digitalen Signalverarbeitung einarbeiten wollen. Nach Darstellung algorithmischer Bausteine wie z. B. Digitale filter out, Diskrete Fourier-Transformationen, Schwingungserzeugung und Nichtlineare Kennlinien, werden algorithmische Systeme der analogen und digitalen ]bertragungstechnik sowie der Me~technik besprochen.

Download PDF by Thomas Leicht: Automatische Reparatur elektronischer Baugruppen

Die vorliegende Arbeit entstand wiihrend meiner Tiitigkeit als wissenschaftlicher Mitarbeiter am Fraunhofer-Institut fOr Produktionstechnik und Automatisierung (IPA), Stuttgart. Mein besonderer Dank gilt Herrn Professor Dr. h. c. mull. Dr. -Ing. Warnecke, der mir die Durchfiihrung der Arbeit an seinem Institut ermoglicht hat und Herrn Professor Dr.

Download e-book for kindle: Informationstheorie und Codierung by Otto Mildenberger

Die Infonnationstheorie gehOrt zu den Grundlagen fUr alle Wissenschaftsgebiete, die sich mit der Obertragung von Nachrichten und der" Verarbeitung von Infonnationen befassen. Ihre Geburtsstunde wird auf das Jahr 1948 dadiert, in dem C. E. Shannon seine grundlegenden Untersuchungen fiber das Wesen von Nachrichten veroffentlichte.

Download e-book for kindle: Die strukturierte Analyse Markovscher Modelle by Peter Buchholz

Das Buch behandelt die quantitative examine komplexer dynamischer Systeme mittels Modellen, die sich auf Markov-Prozesse abbilden lassen. Es wird ein Konzept entwickelt, welches die hierarchische Spezifikation von komplexen Modellen und die Kombination verschiedener bekannter Modellierungsparadigmen in einem Modell erlaubt.

Extra resources for Analyse von Petri-Netz-Modellen

Example text

Nlcht, in unserem Beispiel ist t 1 t 2 t3 t3 ein Wort aus L0 G(N), das ausgehend von m0 nicht geschaltet werden kann. Es sei m eine beliebige w-Markierung. ltze p mit m(p) = w. Wir betrachten einen Knoten m• von OG(N), also eine bestlmmte w-Marklerung. Wenn O(m•) =0 ist, dann ist m• erreichbar in N, m e: RN(m0 ). Wenn O(m•) '1- 0 ist, dann betrachten wir einen kiirzesten Weg von m0 nach luc (N), m• in OG(N); q sei das Wort aus der Konstruktlon erglbt sich, da~ das diesen Weg beschreibt. Aus fiir Knoten m,m' auf diesem Weg gllt: Wenn m friiher durchlaufen wird als m', dann ist O(m) ~ O(m').

Problem Consequences for Petri of the Nets. Decidability Univ. de of the Paris-Sud, Reachabllity Laboratoire de Recherche en Informatique, Rapport de Recherche No. 313, 1986. , The Reachability Problem for VAS. LNCS 188 (1984) 376 - 391. 6. LEBENDIGKEIT Von einer Verklemmung spricht man dann, wenn sich nichts mehr bewegen kann. B. B. wenn zwei Prozesse sich gegenseitig blockieren, andere aber weiterarbeiten. itze zur Analyse der entsprechenden Eigenschaften entwickeln. h. in dem kein Systemereignis eintreten kann, dann spricht man von einer (absoluten) Verklemmung.

Dieser schaltet. Bei der angegebenen 3. Nebenlliuflgkelt und Konfllkt Marklerung slnd Festlegung, ln t t' und welcher aber nebenlliuflg, Relhenfolge dlese es glbt Transltlonen also 37 kelne schalten (es k6nnte sogar glelchzeltlg geschehen). Aus dem Netzmodell kann also nlcht abgeleltet werden, ob der Konnlkt zwlschen rechten Netz slnd t und t' nebenlliuflg, t und auftrltt. Auch belm tH au~erdem stehen t' und tH ln elnem Konfllkt, der durch Schalten von t (zugunsten von t? gel6st wlrd. Belm nebenlliuflgen Schalten von t und t' kann also nlemand sagen, ob dabel eln Konfllkt zwlschen t' und tH durchlaufen wurde.

Download PDF sample

Analyse von Petri-Netz-Modellen by Peter H. Starke


by Joseph
4.3

Rated 4.34 of 5 – based on 4 votes