4. Réseaux de Petri temporisés
4.1 Présentation
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
Réseaux de Petri interprétés
Bibliographie
À consulter dans nos bases
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.
![Écoutez notre podcast Cogitons Sciences : Clément Thivin, un ingénieur pas bateau [Des ingénieurs qui cassent la routine #3]](https://www.techniques-ingenieur.fr/actualite/wp-content/uploads/2022/04/visuel-Article-actu-Podcast-12-ok-2.png)
