Les réseaux de Petri

Modèles fondamentaux - Traité IC2 - Série Informatique et systèmes d'information

Michel Diaz

386 pages, parution le 21/05/2001

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Téléchargement immédiat

Format : PDF
Sans DRM

QUANTITÉ

Résumé

Cet ouvrage présente des modèles qui permettent des représentations à bases de réseaux de Petri car ils fournissent à la fois des bases sémantiques claires et de nombreuses possibilités de modélisation et d'analyse, que les comportements considérés et étudiés soient fonctionnels, temporels ou stochastiques.

Sommaire

Partie 1. Les réseaux de Petri places-transitions

Chapitre 1. La sémantique de base - Michel Diaz, LAAS
Chapitre 2. Application des réseaux de Petri aux protocoles de communication - Michel Diaz, LAAS
Chapitre 3. Méthodes d'analyse des réseaux de Petri - Serge Haddad, Université Paris-Dauphine et François Vernadat, LAAS
Chapitre 4. Décidabilité et complexité de problèmes de réseaux de Petri - Serge Haddad, Université Paris-Dauphine

Partie 2. Les réseaux de Petri et la modélisation du temps

Chapitre 5. Les réseaux de Petri temporels - Bernard Berthomieu, Marc Boyer et Michel Diaz, LAAS
Chapitre 6. Composition temporelle et réseaux de Petri à flux autonomes - Michel Diaz, LAAS et Patrick Senac, ENSICA Toulouse

Partie 3. Les abréviations des réseaux de Petri

Chapitre 7. Les réseaux de Petri de haut niveau - Claude Girault, Université Pierre et Marie Curie et Jean-François Pradat-Peyre, CNAM
Chapitre 8. Analyse des réseaux de Petri de haut niveau - Jean-François Pradat-Peyre, CNAM

Partie 4. Les réseaux de Petri à distributions

Chapitre 9. Les réseaux de Petri stochastiques - Serge Haddad, Université Paris-Dauphine et Patrice Moreaux, Université de Reims
Chapitre 10. Les réseaux de Petri stochastiques bien formés - Serge Haddad, Université Paris-Dauphine et Patrice Moreaux, Université de Reims
Chapitre 11. Méthodes tensorielles et réseaux de Petri stochastiques - Serge Haddad, Université Paris-Dauphine et Patrice Moreaux, Université de Reims

Bibliographie - Index

L'auteur - Michel Diaz

Autres livres de Michel Diaz

Vérification et mise en oeuvre des réseaux de Petri

Découvrir tous les livres de Michel Diaz

Caractéristiques techniques

	PAPIER	NUMERIQUE
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Michel Diaz
Parution	21/05/2001	01/06/2008
Nb. de pages	386	388
Format	16 x 24	-
Couverture	Relié	-
Poids	620g	-
Intérieur	Noir et Blanc	-
Contenu	-	PDF
EAN13	9782746202504	9782746241763