RECHERCHEZ parmi plus de 10 000 articles de référence ou pratiques et 4 000 articles d'actualité
PAR DOMAINE D'EXPERTISE
PAR SECTEUR INDUSTRIEL
PAR MOTS-CLES
NAVIGUER DANS LA
CARTOGRAPHIE INTERACTIVE
DÉCOUVREZ toute l'actualité, la veille technologique GRATUITE, les études de cas et les événements de chaque secteur de l'industrie.
Article précédent
Filtrage optimalArticle de référence | Réf : S7572 v1
Auteur(s) : Michel COMBACAU, Philippe ESTEBAN, Alexandre NKETSA
Date de publication : 10 mars 2005
Article suivant
Commandes à réseaux de Petri - Mise en œuvre et applicationCet article fait partie de l’offre
Automatique et ingénierie système (138 articles en ce moment)
Cette offre vous donne accès à :
Une base complète et actualisée d'articles validés par des comités scientifiques
Un service Questions aux experts et des outils pratiques
Un réseau de Petri représentant la commande du procédé a été obtenu par l’étape d’analyse et modélisation. Il a été construit par composition de fonctions ou de comportements qui caractérisent le fonctionnement de parties du système à commander.
Le modèle ainsi obtenu est réputé complet et censé répondre au fonctionnement attendu. Toutefois, est-ce que ce modèle fournit une description correcte de ce qui est souhaité ? Est-ce que la composition d’éléments de base n’a pas introduit de perturbation croisée de ces éléments ?
Pour cela, il faut valider ce résultat, pour tenter de mettre en évidence des erreurs éventuelles de modélisation, et confirmer la conformité du modèle aux spécifications du cahier des charges par la vérification de toutes les contraintes de départ.
Le modèle à réseau de Petri présente la particularité de pouvoir être analysé : à sa représentation graphique est associée une représentation numérique sur laquelle il est possible de mener des opérations analytiques formelles.
Comme il représente le comportement du système de commande, il peut aussi être simulé, c’est-à-dire être parcouru sans pour autant être relié au procédé, à la seule fin de vérifier que les cheminements qu’il est possible de parcourir restent cohérents au regard du fonctionnement attendu.
Il faut toutefois garder présent à l’esprit que la modélisation graphique manuscrite est nécessairement traduite par une méthode ou une autre de mise en œuvre, et il est alors très facile d’oublier de décrire (ou d’ajouter) un arc, de se tromper dans une pondération ou une expression logique. En cela, les méthodes de validation peuvent aussi être trompeuses dans la mesure où un réseau à analyser doit être traduit dans le langage de l’outil de vérification.
La plus grande attention doit donc être portée à la matérialisation du réseau de Petri, aussi bien dans sa description lors de la mise en œuvre que pour son analyse afin que, dans ce contexte, les méthodes de validation et vérification puissent apporter tout leur intérêt pour conclure sur la bonne description du modèle.
La validation par analyse consiste à vérifier...
Vous êtes abonné à cette offre ?
Connectez-vous !
Vous souhaitez découvrir cette offre ?
Cet article est inclus dans l'offre :
AUTOMATIQUE ET INGÉNIERIE SYSTÈME
DÉTAIL DE L'ABONNEMENT :
TOUS LES ARTICLES DE VOTRE RESSOURCE DOCUMENTAIRE
Accès aux :
Articles et leurs mises à jour
Nouveautés
Archives
Formats :
HTML illimité
Versions PDF
Site responsive (mobile)
Info parution :
Toutes les nouveautés de vos ressources documentaires par email
DES SERVICES ET OUTILS PRATIQUES
Archives
Technologies anciennes et versions
antérieures des articles
Votre site est 100% responsive,
compatible PC, mobiles et tablettes.
FORMULES
Formule monoposte | Autres formules | |
---|---|---|
Ressources documentaires | ||
Consultation HTML des articles | Illimitée | Illimitée |
Téléchargement des versions PDF | 5 / jour | Selon devis |
Accès aux archives | Oui | Oui |
Info parution | Oui | Oui |
Services inclus | ||
Questions aux experts (1) | 4 / an | Jusqu'à 12 par an |
Articles Découverte | 5 / an | Jusqu'à 7 par an |
Dictionnaire technique multilingue | Oui | Oui |
(1) Non disponible pour les lycées, les établissements d’enseignement supérieur et autres organismes de formation. |
||
Formule 12 mois 1 560 € HT |
Autres formules |
2 - VALIDATION ET VÉRIFICATION DU MODÈLE
Information
Quiz d'entraînement bientôt disponible
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
ÉDITION - FORMATION - CONSEIL :
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
LOGICIELS
Automatique - Robotique | Biomédical - Pharma | Construction et travaux publics | Électronique - Photonique | Énergies | Environnement - Sécurité | Génie industriel | Ingénierie des transports | Innovation | Matériaux | Mécanique | Mesures - Analyses | Procédés chimie - bio - agro | Sciences fondamentales | Technologies de l'information
ACCUEIL | A PROPOS | EXPERTS SCIENTIFIQUES | NOUS REJOINDRE | PUBLICITÉ | PLAN DU SITE | CGU | CGV | MENTIONS LÉGALES | RGPD | AIDE | FAQ | NOUS CONTACTER
PAIEMENT
SÉCURISÉ
OUVERTURE RAPIDE
DE VOS DROITS
ASSISTANCE TÉLÉPHONIQUE
+33 (0)1 53 35 20 20