3. Réseaux de Petri temporisés et interprétés
3.1 Réseaux de Petri temporisés
Le processus de conception et d’implantation d’un système séquentiel suppose une analyse rigoureuse des spécifications fonctionnelles du système qui peut, nous l’avons vu, s’appuyer sur un modèle du type réseau de Petri autonome. Dans cette étape , dite de validation, le réseau de Petri autonome donne, par définition, la description de la seule partie commande, une description coupée de l’environnement donc de la partie opérative tels que nous les avons définis au paragraphe
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Réseaux de Petri temporisés et interprétés
Outils informatiques
Références bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Automatique et ingénierie système"
(
226 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
