Thumbnail - Request a copy

Structural Methods

Colom, José; Teruel, Enrique; Silva, Manuel; Haddad, Serge (2002), Structural Methods, in Valk, Rüdiger; Girault, Claude, Petri Nets for Systems Engineering: a Guide to Modeling, Verification and Applications, Springer-Verlag : Berlin, p. 277-316

Type
Chapitre d'ouvrage
Date
2002
Book title
Petri Nets for Systems Engineering: a Guide to Modeling, Verification and Applications
Book author
Valk, Rüdiger; Girault, Claude
Publisher
Springer-Verlag
Published in
Berlin
ISBN
3-540-41217-4
Number of pages
607
Pages
277-316
Metadata
Show full item record
Author(s)
Colom, José
Teruel, Enrique
Silva, Manuel
Haddad, Serge
Subjects / Keywords
Méthodes formelles; Réseaux de Petri