German 5

New PDF release: Analyse von Petri-Netz-Modellen

Posted On February 7, 2018 at 6:11 pm by / Comments Off on New PDF release: Analyse von Petri-Netz-Modellen

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 process aufspiiren und lhre Ursachen feststellen oder wenlgstens elngrenzen. guy kann aber durch Slmulatlon die Fehlerfrelhelt des structures 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 or Download Analyse von Petri-Netz-Modellen PDF

Best german_5 books

Read e-book online Dialogmodellierung für multimediale Benutzerschnittstellen PDF

Multimediale Benutzerschnittstellen integrieren diskrete Medien (Text, Graphik und Bild) und kontinuierliche Medien (Audio, Video und Animation), um die Effektivität der Kommunikation zwischen Benutzern und Rechnern zu erhöhen. Die Zeitvarianz der Medien Audio, Video und Animation erfordert grundlegende Änderungen der Modelle und Werkzeuge für die Entwicklung von Benutzerschnittstellen.

Download e-book for kindle: Technologie- und Innovationsmanagement im Unternehmen: by Dr. Burkard Wördenweber, Dipl.-Ing. Wiro Wickord (auth.)

Immer mehr Unternehmen sind durch den schnellen Wandel in der Technologie und durch die zunehmende Verf? gbarkeit von Informationen angreifbar. Sie ok? nnen sich nur dann im Wettbewerb behaupten, wenn sie kontinuierlich Prozesse verbessern, Produkte und Mehrwert entwickeln und latente Kundenw? nsche aufsp?

Get Maschinen-unabhängige Code-Erzeugung als semantikerhaltende PDF

Used to be ist das Wesen der Compilierung? Ershov hat 1977 einen Vortrag /24/ gehalten mit dem Titel "On the essence of compilation. " Darin fuhrt er seine Idee aus, dass Compilation ein spezieller Fall von sog. "mixed computation" sei, welche sich kurz so charakterisieren lasst, dass alles used to be konkret ausrechenbar ist, ausgerechnet wird, und alles used to be nicht ausgerechnet werden kann, stehen bleibt.

Additional info for Analyse von Petri-Netz-Modellen

Example text

Stellen wir uns ein System vor. B. "litzen") von mehreren Akteuren an verschiedenen Objekten unabhlingig voneinander vorgenommen werden kann. Die der Aktion entsprechende Transition im Netz sollte dann bei Vorliegen mehrerer Objekte auf ihrem Vorplatz nebenlliufig zu sich selbst schalten konnen. Bei einem realen System wird die Zahl der Akteure. h. der Teilnehmer an der Aktion, fixiert oder beschrlinkt sein. Beim Modellieren kann man so vorgehen. da(3 man statt einer Transition fiir die Aktion je eine Transition fiir jeden Akteur vorsieht, dann braucht man Nebenlliufigkeit mit sich selbst nicht zu betrachten, blliht aber das Netz durch unwesentliche Einzelheiten auf.

2. nkt in N, wenn es in OG(N) eine w-Markierung m• mit m•(p) = w gibt. Wenn das Netz N beschrAnkt lst, stlmmt sein Oberdeckbarkeitsgraph OG(N) mit dem Errelchbarkeltsgraphen EGN(m0 ) flbereln, anderenfalls kann man alle unbeschrinkten Pllltze am Oberdeckbarkeltsgraphen ablesen. Man kann darflberhinaus mittels OG(N) sogar feststellen, welche Platzmengen simultan unbeschrAnkt slnd. 2. nkt in N, wenn in N zu mk erreichbar ist mit mk (p) > k fflr alle p aus Q. 6. ;; P ist genau dann simultan unbeschriJnkt in N, wenn in OG(N) ein Knoten m existiert mit m(p) = w tar alle pE Q.

R 1 (p) = O fi1r p rt Q(m1 ), 5. r1 (p) > O fi1r p E mit p rt Q(m1 _ 1 ). r1 (p) negativ sein. u 1 , die eine Markierung auf dem Weg dorthin i1berdeckt. r1 ) auf den Platzen, die nicht in Q(m 1 ) liegen, i1berein. r 1 = (0,1,0,0). tl ei ne Markierung Durch Schalten von u 1 und k-mal r 1 erreichen wir (l,k+1,0,0). ) 1 Werte P - gro~er Q(m 1 ) E i1bereinstimmt und die als k hat. Wenn dieses k gro~ genug gewahlt wird, so kann bei dieser Markierung das Wort u 1 + 1 und danach r 1 + 1 sooft geschaltet werden, die mit m 1 + 1 auf P Q(m.

Download PDF sample

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


by Jason
4.3

Rated 4.92 of 5 – based on 10 votes