Utilisateur:Lowije/Brouillon
- Définition (syntaxe, sémantique) sans multiplicité des transitions
- Dépliage et model checking
- Causalité, conflit, concurrence
- Classes de réseaux de Petri (graphe marqué...)
- Extensions des réseaux de Petri
- Principaux résultats de complexité
- Graphe des marquages
Aperçu modifier
Définitions formelles modifier
Réseau modifier
Réseau de Petri modifier
Traces modifier
Causalité, conflits, concurrence modifier
Quelques classes de réseaux de Petri modifier
Réseaux de Petri bornés modifier
Réseaux de Petri saufs modifier
Graphes marqués modifier
Dépliages modifier
Réseau d'occurrences (traduction à vérifier) modifier
Configuration modifier
Processus et dépliages modifier
Algorithme de dépliage modifier
cut-off, garanties sur la taille du dépliage