4. Outils informatiques
4.1 Implantation des réseaux de Petri sur calculateur
L’utilisation des réseaux de Petri dans les phases de validation des spécifications et de simulation d’une application ont conduit les laboratoires à développer différents logiciels, repris aujourd’hui par les sociétés de service.
Dans chaque cas, un langage ou un éditeur interactif sont développés pour permettre à l’utilisateur de décrire le modèle qu’il souhaite soumettre à un algorithme de validation ou qu’il désire utiliser en simulation. Selon le cas, il y aura compilation pour une exécution en code machine, ou implantation sous la forme d’une base de données, le réseau de Petri sera alors interprété par un programme dit programme joueur, chargé de suivre l’évolution du marquage à partir du marquage initial. On représentera...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Outils informatiques
Conclusion
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
"Agroalimentaire"
(
289 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.
