# Conception des systèmes de production à l'aide des réseaux de Petri : vérification incrémentale des propriétés qualitatives

> Fiche œuvre du catalogue https://superlivre.fr/livre/conception-des-systemes-de-production-a-laide-des-reseaux-de-petri-cb35782936w (données du dépôt légal BnF).

- **Auteur** : [Feng Chu](https://superlivre.fr/auteur/feng-chu-cb13089133n)
- **Première parution** : 1995
- **Langue** : français
- **Éditions recensées** : 1 (1995–1995)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1995 | [INRIA](https://superlivre.fr/editeur/inria) | [Le Chesnay] | 176 | 2-7261-0913-6 |