Date
2002
Dewey
Informatique générale
Sujet
Méthodes formelles; Réseaux de Petri
Book title
Petri Nets for Systems Engineering: a Guide to Modeling, Verification and Applications
Author
Valk, Rüdiger; Girault, Claude
Publisher
Springer-Verlag
Publisher city
Berlin
Year
2002
Pages number
607
ISBN
3-540-41217-4
