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

Note moyenne 
Michel Diaz - .
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... Lire la suite
115,00 € Neuf
Expédié sous 5 à 9 jours
Livré chez vous entre le 3 février et le 8 février
En librairie

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

Caractéristiques

  • Date de parution
    01/01/2003
  • Editeur
  • ISBN
    2-7462-0445-2
  • EAN
    9782746204454
  • Présentation
    Broché
  • Nb. de pages
    388 pages
  • Poids
    0.79 Kg
  • Dimensions
    16,0 cm × 24,0 cm × 0,0 cm

Avis libraires et clients

Du même auteur

Les clients ont également aimé

Derniers produits consultés

Vérification et mise en oeuvre des réseaux de Petri est également présent dans les rayons

Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK
115,00 €