Petri nets for Systems Engineering : a guide to Modeling, Verification, and Applications

Petri nets for Systems Engineering : a guide to Modeling, Verification, and Applications

Saved in:
Bibliographic Details
Main Authors : Girault Claude (Auteur), Valk Rüdiger (Auteur)
Format : Book
Language : anglais
Title statement : Petri nets for Systems Engineering : a guide to Modeling, Verification, and Applications / Claude Girault, Rüdiger Valk
Published : Berlin, Heidelberg, New York : Springer , cop. 2003
Physical Description : XVI-607 p.
Subjects :
Méthodes formelles (informatique)
Petri, Réseaux de
Petri nets
Systems engineering
Formal methods (Computer science)

BU Sciences

Holdings details from BU Sciences
Location Call Number Loan type Status
Magasin n.3 629.8 GIR/13846 Empruntable Available