HOME > Detail View

Detail View

Petri nets for systems engineering : a guide to modeling, verification, and applications

Petri nets for systems engineering : a guide to modeling, verification, and applications

Material type
단행본
Personal Author
Girault, Claude. Valk, R. (Rudiger)
Title Statement
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rudiger Valk.
Publication, Distribution, etc
Berlin ;   New York :   Springer ,   c2003.  
Physical Medium
xvi, 607 p. : ill. ; 25 cm.
ISBN
3540412174 (alk. paper)
Bibliography, Etc. Note
Includes bibliographical references (p. [571]-599) and index.
Subject Added Entry-Topical Term
Formal methods (Computer science) Systems engineering. Petri nets.
000 01115camuu2200325 a 4500
001 000045332732
005 20070302092146
008 070228s2003 gw a b 001 eng
010 ▼a 2002191198
020 ▼a 3540412174 (alk. paper)
024 3 1 ▼a 9783540412175 (alk. paper)
035 ▼a (OCoLC)ocm50906339
035 ▼a (OCoLC)50906339
040 ▼a DLC ▼c DLC ▼d OHX ▼d C#P ▼d 211009
042 ▼a pcc
050 0 0 ▼a QA76.9.F67 ▼b G57 2003
072 7 ▼a QA ▼2 lcco
082 0 4 ▼a 004.01/51 ▼2 22
090 ▼a 004.0151 ▼b 2003c
100 1 ▼a Girault, Claude.
245 1 0 ▼a Petri nets for systems engineering : ▼b a guide to modeling, verification, and applications / ▼c Claude Girault, Rudiger Valk.
260 ▼a Berlin ; ▼a New York : ▼b Springer , ▼c c2003.
300 ▼a xvi, 607 p. : ▼b ill. ; ▼c 25 cm.
504 ▼a Includes bibliographical references (p. [571]-599) and index.
650 0 ▼a Formal methods (Computer science)
650 0 ▼a Systems engineering.
650 0 ▼a Petri nets.
700 1 ▼a Valk, R. ▼q (Rudiger)
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.0151 2003c Accession No. 121141800 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

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.


Information Provided By: : Aladin

New Arrivals Books in Related Fields