Recherche en cours
Par auteur
=
TRENTESAUX DAMIEN
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1
ressource
section 1-1
sur 1
résultats
1 à 1
UVHC
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?invarian ...
Date
:
07-06-2006
Format
:
Document HTML
Auteur
:
Trentesaux Damien
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur
Public
:
apprenant
Afficher section
2
sur 1