4. 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 1.4
....
La suite de cet article est réservée aux abonnés
Vous n'êtes pas abonné ?
Consultez gratuitement cet article.
votre période de consultation gratuite
Découvrez le plus important corpus scientifique et technique francophone
Plus de 8 000 articles, 13 univers, 400 bases documentaires, les plus grands auteurs, un enrichissement permanent et un éventail de services associés.
