
Analyse von Petri-Netz-Modellen (Leitfäden und Monographien der Informatik)
Kurzinformation



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

Beschreibung
"Analyse von Petri-Netz-Modellen" von Peter H. Starke ist ein Fachbuch, das sich mit der Theorie und Anwendung von Petri-Netzen in der Informatik beschäftigt. Petri-Netze sind ein mathematisches Modell zur Beschreibung und Analyse verteilter Systeme und Prozesse, die parallel ablaufen können. Das Buch bietet eine umfassende Einführung in die Grundlagen der Petri-Netze, einschließlich ihrer Struktur und Dynamik. Starke erklärt die verschiedenen Arten von Petri-Netzen, wie Stellen-Transitions-Netze (ST-Netze) und farbige Petri-Netze, und beschreibt Methoden zur Modellierung komplexer Systeme. Ein wesentlicher Schwerpunkt liegt auf den Analysetechniken, die verwendet werden können, um Eigenschaften wie Erreichbarkeit, Lebendigkeit und Sicherheit zu überprüfen. Das Buch richtet sich an Studierende der Informatik sowie an Fachleute, die sich mit der Modellierung und Analyse paralleler Systeme beschäftigen. Durch zahlreiche Beispiele und Übungen wird das theoretische Wissen praxisnah vermittelt.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Gebunden
- 197 Seiten
- Erschienen 2011
- Springer
- Hardcover
- 256 Seiten
- Erschienen 2006
- Addison Wesley ein Imprint ...
- paperback
- 420 Seiten
- Erschienen 2013
- Springer
- paperback
- 296 Seiten
- Erschienen 2008
- Springer
- Kartoniert
- 401 Seiten
- Erschienen 2009
- Springer
- Kartoniert
- 362 Seiten
- Erschienen 2020
- Carl Hanser Verlag GmbH & C...
- Hardcover
- 472 Seiten
- Erschienen 2009
- Springer
- hardcover
- 576 Seiten
- Erschienen 2004
- Morgan Kaufmann
- Hardcover -
- Erschienen 2015
- Carl Hanser Verlag GmbH & C...
- hardcover
- 640 Seiten
- Erschienen 1992
- Pearson
- Gebunden
- 336 Seiten
- Erschienen 2008
- Springer