|
 
|
[PRA01] Analyse des réseaux de Petri de haut-niveau
Chapitres de Livre : January 2001,
motcle:
Résumé:
Ce chapitre de 42 pages présentent trois des techniques principales de vérification associées aux réseaux de Petri de haut-niveau : la construction du graphe des marquages symboliques, le calcul d'invariants linéaires et l'applications de réductions structurelles.
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 { | |||
| PRA01, | |||
| title | = | "{}", | |
| chapter | = | "{Analyse des réseaux de Petri de haut-niveau}", | |
| author | = | "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}", | |
| } | |||
