1 ressource : TRENTESAUX DAMIEN

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
page 1 sur 1
résultats 1 à 1
UNIT
Description : Ce cours dispense les fondements de la modélisation en réseaux de Petri, dans le domaine des systèmes à événements discrets, par opposition aux systèmes continus. L?objectif de cette formalisation est de donner des outils d?analyse à la fois analytiques (vérification de propriétés, preuve d?inva ...
Mots clés : Petri, Modélisation, Systèmes à événements, Colorisation, temporisation
Date : 07-06-2006
Droits : Libre d'accès pour un usage non commercial. Modifications du contenu non autorisé sans l'accord de l'auteur. Citations autorisées sous réserve de la mention de l'auteur.