Discussion:Réseau de Petri/À faire
Apparence
Rajouter :
- le graphe de couverture (juste "titrer" dans l'article)
- le dépliage (unfolding)
- quelques résultats de model checking sur ces structures
--Roll-Morton (d) 27 février 2013 à 19:11 (CET)
Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
- Modèle {{ Article }} : l'argument «
année première édition = 1994
» ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans « Propriétés mathématiques des réseaux de Petri ») - Modèle {{ Article }} : l'argument «
numéro d'édition = Revised
» ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans « Propriétés mathématiques des réseaux de Petri ») -- 4 janvier 2022 à 00:57 (CET)
- Modèle {{ Article }} : l'argument «