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
وارد کنندة اطلاعات
داوري