Bild 1 von 1

Standardbild

Funktionale Analyse zeitbehafteter Petri-Netze. DUV : Informatik Bause, 2006374 - Bild 1 von 1

Funktionale Analyse Zeitbehafteter Petri-Netze von Falko Bause (1992, Taschenbuch)

Petra Gros Versandantiquariat (225790)

99,8% positive Bewertungen

Preis:

€ 53,00

(inkl. MwSt.)

Gratis 1-2 Tage Lieferung

Lieferung zwischen Fr, 15. Aug und Sa, 16. Aug

Rücknahme:

1 Monat Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Gut

Wiesbaden : Dt. Univ.-Verl. 1992. 182 Seiten; Broschiert Sprache: Deutsch ISBN: 3824420252 EAN: 9783824420254 Bestell-Nr: 2006374 Bemerkungen: Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Einbandkanten sind leicht bestoßen. Schlagworte: Petri-Netz ; Systemanalyse, Informatik, Datenverarbeitung .

Sammeln Sie 53 Punkte | Mehr erfahrenzu eBay Plus-Punkten - wird in neuem Fenster oder Tab geöffnet

Über dieses Produkt

Produktinformation

Eine Systembewertung beinhaltet i.a. einen funktionalen und einen quantitativen Anteil. Zur Analyse funktionaler Aspekte stellen Petri-Netze zum einen eine leicht zu handhabende Beschreibungsmöglichkeit und zum anderen eine Vielzahl von, teilweise sehr effizienten, Analysetechniken zur Verfügung. Urn auch quantitative Aspekte erfassen zu können, wurde der Zeitbegriff nachträglich in die Petri-Netz-Modellwelt integriert (zeitbehaftete Petri-Netze), wobei gerade in den letzten Jahren vornehmlich zeitbehaftete Modelle betrachtet werden, die Markov-Prozesse beschreiben. Nachteilig wirkt sich dabei aus, daB wesentliche Eigenschaften für das zeitbehaftete Petri-Netz nicht erfüllt sind, obwohl sie für das entsprechende "zeitlose" Petri-Netz gelten, so daB die oben angesprochenen Analysetechniken nicht mehr direkt anwendbar sind. In dieser Arbeit werden Beispiele für solche Fä11e angegeben. Urn den EinfluB der Zeit modellmäBig zu erfassen, wird gezeigt, daB Petri-Netze mit einer Prioritätszuordnung zu den Transitionen geeignet sind, diverse Formen zeitbehafteter Petri-Netze bzgl. der Auswirkung der Zeitintegration auf funktionale Eigenschaften zu erfassen. Es wird mittels dieser Form der Petri Netze nachgewiesen, daB durch leicht überprüfbare Restriktionen an die Form der Zeitintegration viele Eigenschaften des Petri-Netzes invariant bleiben. Die hier betrachteten Eigenschaften (z.B. Beschränktheit, Lebendigkeit, Existenz von home states) stellen dabei elementare Voraussetzungen für eine quantitative Analyse, insbesondere Markovscher Modelle, dar. VI An dieser Stelle sei Herm Prof. Dr.-Ing. H. Beilner und Herm Prof. Dr. G. Dittrich rur ihre Betreuung gedankt.