Petri Nets for Systems Engineering

A Guide to Modeling, Verification, and Applications

Häftad, Engelska, 2010

AvClaude Girault,Rüdiger Valk,Rudiger Valk

1 249 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

1 389 kr

Skickas inom 10-15 vardagar

With contributions by W.van der Aalst, P. Barril, T. Basten, J.-M. Colom, A. Diagne, C. Dutheillet, W. El Kaim, J. Espeleta, B. Farwer, M.P. Gervais, S. Haddad, J.M. Ilie, F. Kordon, R. Mackenthun, D. Moldt, D. Poitrenaud, M. Silva,M.-O. Stehr, E. Teruel, I. Vernier-Mounier, M. Voorhoeve

Produktinformation

Utgivningsdatum2010-12-15
Mått155 x 235 x 35 mm
Vikt890 g
FormatHäftad
SpråkEngelska
Antal sidor607
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642074479

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Hårdvara inom Data och it
Elektronik och kommunikationer inom Naturvetenskap och teknik
Affärsapplikationer inom Data och it
Affärsförhandlingar inom Ekonomi och ledarskap

Introduction: Purpose of the Book.- 1. Introduction.- 2. Essential Features of Petri Nets.- 3. Intuitive Models.- 4. Basic Definitions.- 5. Properties.- 6. Overview of the Book.- 8. Modelling and Analysis Techniques by Example.- 9. Techniques.- 10. Methods.- 11. Case Studies.- 12. Conclusion.- 13. Introduction: Issues in Verification.- 14. State-Space-Based Methods and Model Checking.- 15. Structural Methods.- 16. Deductive and Process-Algebra-Based Methods.- 17. Conclusion.- 18. Introduction.- 19. Systems Engineering and Validation.- 20. Net Execution.- 21. Code Generation.- 22. Conclusion.- 23. Introduction.- 24. Flexible Manufacturing Systems.- 25. Workflow Systems.- 26. Telecommunications Systems.- 27. Conclusion.- References.

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)