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 | modifier le code]
Définitions formelles[modifier | modifier le code]
Réseau[modifier | modifier le code]
Réseau de Petri[modifier | modifier le code]
Traces[modifier | modifier le code]
Causalité, conflits, concurrence[modifier | modifier le code]
Quelques classes de réseaux de Petri[modifier | modifier le code]
Réseaux de Petri bornés[modifier | modifier le code]
Réseaux de Petri saufs[modifier | modifier le code]
Graphes marqués[modifier | modifier le code]
Dépliages[modifier | modifier le code]
Réseau d'occurrences (traduction à vérifier)[modifier | modifier le code]
Configuration[modifier | modifier le code]
Processus et dépliages[modifier | modifier le code]
Algorithme de dépliage[modifier | modifier le code]
cut-off, garanties sur la taille du dépliage