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'ouvrageDate
2002Book title
Petri Nets for Systems Engineering: a Guide to Modeling, Verification and ApplicationsBook author
Valk, Rüdiger; Girault, ClaudePublisher
Springer-Verlag
Published in
Berlin
ISBN
3-540-41217-4
Number of pages
607Pages
277-316
Metadata
Show full item recordSubjects / Keywords
Méthodes formelles; Réseaux de PetriRelated items
Showing items related by title and author.
-
Haddad, Serge; Moreaux, Patrice; Sereno, Matteo; Silva, Manuel (2001) Communication / Conférence
-
Haddad, Serge; Recalde, Laura; Silva, Manuel (2006) Communication / Conférence
-
Recalde, Laura; Haddad, Serge; Silva, Manuel (2007) Communication / Conférence
-
Taghelit, Mohamed; Haddad, Serge; Sens, Pierre (1997) Communication / Conférence
-
Barkaoui, Kamel; Dutheillet, Claude; Haddad, Serge (1993) Communication / Conférence