-
RecordNumber
30861
-
Author
Girault, Claude.
-
Title
Petri nets for systems engineering : a guide to modeling, verification, and applications
-
Author Statement
Claude Girault, Rudiger Valk
-
Publication
Springer
-
Publication Year
2003
-
Collation
xiii, 607p., illus
-
Notes
Includes bibliographical references and index , 3540412174
-
Subject
Formal methods (Computer science) , Systems engineering , Petri nets
-
ADDED ENTRIES
Valk, rudiger ,
-
LC Class
QA
-
LC Number
76.9
-
LC CutterNumber
.F67G57
-
LC Date
2003
-
وارد کنندة اطلاعات
داوري
-
Link To Document :
