| |||||||||||||||
Produktinformation
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
Ist der Verkauf dieses Produkts für Sie nicht akzeptabel? |
Mehr über den Autor
Entdecken Sie Bücher, lesen Sie über Autoren und mehr
› Besuchen Sie die Seite von Claude Girault auf Amazon
› Besuchen Sie die Seite von Claude Girault auf Amazon
Produktbeschreibungen
Pressestimmen
From the reviews: "This is an extensive work providing an overview of the current state of the art of the use of Petri nets in systems engineering. … The book has been carefully written avoiding an excess of formulas and technicalities. … This book is suited for those well acquainted with formal modelling of systems and who now want to learn which techniques are available from the perspective of Petri nets." (J.F. Groote, Zentralblatt MATH, Vol. 1024, 2003)
Kurzbeschreibung
Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks. In doing so it bridges the gap between Petri nets and the systems modeling and implementation process. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.
In diesem Buch
(Mehr dazu)
Einleitungssatz
This book intends to show how Petri nets fill many of the needs of systems modelling, their verification and implementation, as mentioned in the preface. Lesen Sie die erste Seite
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis | Rückseite
This book intends to show how Petri nets fill many of the needs of systems modelling, their verification and implementation, as mentioned in the preface. Lesen Sie die erste Seite
Mehr entdecken
Wortanzeiger
Ausgewählte Seiten ansehenWortanzeiger
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis | Rückseite
Tags(Was ist das?)Bei einem Tag handelt es sich um ein Schlagwort, das zum Produkt passt.
Tags erleichtern allen Kunden die Suche und die Sortierung ihrer Lieblingsprodukte. |
Eine digitale Version dieses Buchs im Kindle-Shop verkaufen
Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, können Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen.
Weitere Informationen
Kundenrezensionen
|
Noch keine Kundenrezensionen vorhanden.
|
|||
|
Videorezensionen
|
Kunden diskutieren
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
||||||||||||||||||||||||||||||||||
Lieblingslisten
Ähnliche Artikel finden
- Fremdsprachige Bücher > Architektur, Technik & Ingenieurswesen > Ingenieurwesen & Technik > Industrie, Herstellung & Abläufe > Industrielle Technologie
- Fremdsprachige Bücher > Architektur, Technik & Ingenieurswesen > Ingenieurwesen & Technik > Telekommunikation
- Fremdsprachige Bücher > Business, Karriere & Geld > Industriezweige & Berufe > MIS
- Fremdsprachige Bücher > Computer & Internet > Hardware > Netzwerke & Internet
- Fremdsprachige Bücher > Computer & Internet > Informatik > Systemanalyse & Design
- Fremdsprachige Bücher > Computer & Internet > Programmieren > Software-Design & Entwicklung > Softwareentwicklung
Anhand des Sachgebietes nach ähnlichen Produkten suchen:
Ihr Kommentar
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
|
