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
modifierDéfinitions formelles
modifierRéseau
modifierRéseau de Petri
modifierTraces
modifierCausalité, conflits, concurrence
modifierQuelques classes de réseaux de Petri
modifierRéseaux de Petri bornés
modifierRéseaux de Petri saufs
modifierGraphes marqués
modifierDépliages
modifierRéseau d'occurrences (traduction à vérifier)
modifierConfiguration
modifierProcessus et dépliages
modifierAlgorithme de dépliage
modifiercut-off, garanties sur la taille du dépliage