Date
2002
Dewey
Informatique générale
Sujet
Méthodes formelles (informatique); Réseaux de Pétri
Book title
Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications
Author
C. Girault, R. Valk
Publisher
Springer-Verlag
Publisher city
Berlin
Year
2002
Pages number
607 p.
ISBN
3-540-41217-4
