HOME > 상세정보

상세정보

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

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

자료유형
단행본
개인저자
Girault, Claude. Valk, R. (Rudiger)
서명 / 저자사항
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rudiger Valk.
발행사항
Berlin ;   New York :   Springer ,   c2003.  
형태사항
xvi, 607 p. : ill. ; 25 cm.
ISBN
3540412174 (alk. paper)
서지주기
Includes bibliographical references (p. [571]-599) and index.
일반주제명
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

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.0151 2003c 등록번호 121141800 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

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.


정보제공 : Aladin

관련분야 신착자료

김종원 (2020)
김자미 (2021)