1 ressource : TRENTESAUX DAMIEN

Recherche en cours

Par auteur = 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

Les réseaux de Petri : modèles fondamentaux

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.

Les réseaux de Petri : modèles fondamentaux

Ajouter à mon panier

Accéder au document