CSFP
Support de cour
MODELES DU PARALLELISME
Durant les vingt dernières années, plusieurs modèles du parallélisme ainsi que leurs sémantiques ont été étudiés dans le cadre de la théorie de la concurrence. Ils ont été utilisés pour d
Outils pour la conception formelle des systèmes concurrents
Un système réactif est un système capable d’interagir avec l’environnement à travers des points d’interaction.
Modèles d’entrelacement
Afin d’illustrer les concepts de la conception formelle des systèmes concurrents, nous prenons comme plateforme d’étude la technique de description formelle LOTOS, comme modèle de spécificatio
Le langage Basic LOTOS
Remarque :
ces cours sont des cours d'aides. et ne sont pas les cours de l'enseignant
Réseau De Petri
Reseau de petri
Réseaux de Petri Théorie et Applications
Modélisation des systèmes: les fondements
Traduction structurelle des Réseaux de Petri Temporels vers les Automates Temporisés
STEM
Sémantique demaximalité
