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, dans 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

Titre de l'ouvrage

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

Auteurs de l’ouvrage

Diaz, Michel

Éditeur

Hermès Science : Lavoisier

Ville d’édition

Paris

Isbn

2-7462-0445-2

Nombre de pages

389

Pages

31-96

Métadonnées

Afficher la notice complète

Auteur(s)

Haddad, Serge
Vernadat, François

Mots-clés

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