Vérification de propriétés spécifiques

Haddad, Serge; Vernadat, François

Haddad, Serge; Vernadat, François (2003), Vérification de propriétés spécifiques, in Diaz, Michel, Vérification et mise en œuvre des réseaux de Petri, Hermès Science : Lavoisier : Paris, p. 31-96

Type

Chapitre d'ouvrage

Date

2003

Book title

Vérification et mise en œuvre des réseaux de Petri

Book author

Diaz, Michel

Publisher

Hermès Science : Lavoisier

Published in

Paris

ISBN

2-7462-0445-2

Number of pages

389

Pages

31-96

Metadata

Show full item record

Author(s)

Haddad, Serge
Vernadat, François

Subjects / Keywords

Réseaux de Petri; Systèmes informatiques; Modèles mathématiques