4. Outils de modélisation et déploiement sur des architectures matérielles
Nous allons présenter dans cette section des plateformes de modélisation et d’analyse de réseaux de Petri d’une part, et d’autre part, un outil de déploiement de réseau de Petri sur des architectures cibles.
4.1 Plateformes de modélisation, de simulation et d’analyse
ROMÉO et TINA sont des boîtes à outils offrant des facilités de modélisation, simulation, génération des abstractions de l’espace d’états et vérification pour des réseaux de Petri et temporels. L’une comme l’autre permettent l’analyse structurelle, incluent des model-checker (fragment de TCTL pour ROMÉO, SE-LTL et µ calcul pour TINA). Les deux permettent d’interfacer avec du langage C. Parmi les différences, la possibilité de manipuler des paramètres avec...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Outils de modélisation et déploiement sur des architectures matérielles
Conclusion
Sources 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.
![É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)
