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

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

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Girault Claude (Auteur), Valk Rüdiger (Auteur)
Format : Livre
Langue : anglais
Titre complet : Petri nets for Systems Engineering : a guide to Modeling, Verification, and Applications / Claude Girault, Rüdiger Valk
Publié : Berlin, Heidelberg, New York : Springer , cop. 2003
Description matérielle : XVI-607 p.
Sujets :
Méthodes formelles (informatique)
Petri, Réseaux de
Petri nets
Systems engineering
Formal methods (Computer science)
Description
Bibliographie : Bibliogr. p. [571]-599. Index
ISBN : 3-540-41217-4