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

Informatique et systèmes d'information

Michel Diaz, Collectif d'auteurs

390 pages, parution le 07/04/2002

Ajouter à une liste

Indisponible

Téléchargement immédiat

Format : PDF
Sans DRM

QUANTITÉ

Résumé

Les réseaux de Petri portait sur la modélisation des systèmes dont les comportements dépendent de valeurs temporelles. Cette étude avait permis de définir les RdP Temporels ainsi qu'une nouvelle approche sémantique pour analyser les fonctionnements généraux et les RdP Stochastiques à partir desquels de nombreux travaux ont permis d'évaluer les performances et la fiabilité des systèmes. Le présent ouvrage insiste sur la vérification et la mise en oeuvre des modèles fondamentaux exposés dans l'ouvrage précédent.
Il se compose de trois parties.
La première valide les propriétés spécifiques des systèmes conçus en se fondant sur la construction et l'analyse du graphe d'accessibilité, graphe représentant tous les comportements possibles.
La seconde partie aborde la vérification explicite des comportement temporels c'est-à-dire les comportements liés aux valeurs explicites des variables temporelles entrant dans la définition des systèmes à temps contraints.
La troisième partie présente de nombreuses études de cas dans des domaines ayant un intérêt essentiel.
Des solutions pour les systèmes réels sont ainsi avancées : elles sont le résultat de modélisations et d'applications significatives dans des domaines d'application en fort développement : télécommunication, programmation, multimédia...

Au sommaire

Vérification et maîtrise de l'explosion combinatoire
Vérification de propriétés spécifiques
Graphes de pas couvrants : une approche ordre partiel
Dépliages pour la vérification de propriétés temporelles
Symétries et logique temporelle
Vérification et analyse temporelle.
Les réseaux de Petri hiérarchisés à flux temporels
Réseaux de Petri et logique linéaire
Étude de cas.
Modélisation et vérification de l'interopérabilité de services de télécommunication
Application des réseaux de haut niveau à la vérification automatique de programmes ADA 95 concurrents
Modélisation et implémentation d'architectures multimédias
Évaluation des performance en productique
Évaluation de performances de protocoles de
Conclusion

L'auteur - Michel Diaz

Autres livres de Michel Diaz

Les réseaux de Petri

Découvrir tous les livres de Michel Diaz

L'auteur - Collectif d'auteurs

Autres livres de Collectif d'auteurs

Daniel Buren, mot à mot

Familles. Permanence et métamorphoses

Architecture studio

La motivation au travail dans les services publics

Découvrir tous les livres de Collectif d'auteurs

Caractéristiques techniques

	PAPIER	NUMERIQUE
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Michel Diaz, Collectif d'auteurs
Parution	07/04/2002	01/06/2008
Nb. de pages	390	391
Format	16 x 24	-
Couverture	Relié	-
Poids	780g	-
Intérieur	Noir et Blanc	-
Contenu	-	PDF
EAN13	9782746204454	9782746241756