Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/electricite-electronique/verification-et-mise-en-oeuvre-des-reseaux-de-petri/diaz/descriptif-9782746204454
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=2137598

Vérification et mise en oeuvre des réseaux de Pétri Traité IC2, série Informatique et Systèmes d'Information

Langue : Français

Coordonnateur : DIAZ Michel

Couverture de l’ouvrage Vérification et mise en oeuvre des réseaux de Pétri
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…
Introduction -Michel Diaz. Vérification et maîtrise de l'explosion combinatoire. Vérification de propriétés spécifiques -Serge Haddad, François Vernadat. Graphes de pas couvrants : une approche ordre partiel -François Vernadat, Pierre-Olivier Ribet. Dépliages pour la vérification de propriétés temporelles -Jean-Michel Couvreur, Denis Poitrenaud. Symétries et logique temporelle -Serge Haddad, Jean-Michel Ilié. Vérification et analyse temporelle. Les RdP hiérarchisés à flux temporels -Patrick Sénac, Michel Diaz. Réseaux de Petri et logique linéaire -Brigitte Pradin-Chezalviel, Robert Valette. Étude de cas. Modélisation et vérification de l'interopérabilité de services de télécommunication -Isabelle Vernier, Emmanuel Paviot-Adet. Application des réseaux de haut niveau à la vérification automatique de programmes ADA 95 concurrents -Jean-François Pradat-Peyre. Modélisation d'architectures multimédias -Philippe Owezarski, Marc Boyer. Évaluation des performances en productique -Isabel Demongodin, Nathalie Sauer, Laurent Truffet. Évaluation de performances de protocoles de communications -Slim Abdellatif, Guy Juanole. Bibliographie. Index.

Date de parution :

Ouvrage de 388 p.

16x24 cm

Retiré de la vente

PDF 115,00 €
Télécharger