|
 
|
[GP01] Les réseaux de Petri de haut-niveau
Chapitres de Livre : Titre du livre: "Les réseaux de Petri", January 2001,
motcle:
Résumé:
Ce chapitre de 34 pages donne un aperçu des différentes abréviations des réseaux de Petri.
L'accent est mis sur les réseaux colorés et les réseaux bien-formés.
Ces deux formalismes offrent en effet un bon compromis entre pouvoir de modélisation et possibilité d'analyse automatique.
De nombreux exemples illustrent les différents formalismes présentés.
Commentaires:
"Les réseaux de Petri: Modèles Fondamentaux", Traité IC2 - Série Informatique et systèmes d'information Edition Hermes - 394 pages - 01/05/01 - ISBN : 2-7462-0250-6
BibTeX
| @inbook { | |||
| GP01, | |||
| title | = | "{Les réseaux de Petri}", | |
| chapter | = | "{Les réseaux de Petri de haut-niveau}", | |
| author | = | "C. Girault and J. Pradat-Peyre", | |
| year | = | 2001, | |
| note | = | "{"Les réseaux de Petri: Modèles Fondamentaux", Traité IC2 - Série Informatique et systèmes d'information Edition Hermes - 394 pages - 01/05/01 - ISBN : 2-7462-0250-6}", | |
| } | |||
