Discussion:Réseau de Petri
Cet article est indexé par les projets Informatique et Robotique.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| B | Élevée |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
| Moyenne |  | Robotique (discussion • critères • liste • stats • hist. • comité • stats vues) | |
Cet article comporte une liste de tâches suggérées :
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 «
Réécriture[modifier le code]
Je suis en train de réécrire complètement l'article. En me basant sur des publications scientifiques, sur l'article en anglais... Vous pouvez voir mon brouillon sur ma page de discussion : Utilisateur:Elaum/Brouillons/réseaux_de_Petri --Elaum (d) 16 août 2008 à 21:21 (CEST)
- Votre brouillon n'en est pas encore au point de cet article, où en êtes vous ? Avez vous abandonné ? — Le message qui précède, non signé, a été déposé par Toudilo (discuter)
- Je n'ai pas abandonné, mais je manque cruellement de temps (exams, oraux) pour m'en occuper en ce moment. Elaum (d) 21 novembre 2008 à 18:36 (CET)
Réécriture 2[modifier le code]
Bonjour,
cette page sur les réseaux de Petri me paraît être assez incomplète et manquer de précision. Je pense que la meilleure solution serait de tout reprendre depuis le début (en 2008 une nouvelle version avait été commencée, mais ça ne semble pas vraiment avoir progressé).
Est-ce que quelqu'un travaille là dessus en ce moment ? Dans le cas contraire je me propose de le faire dans les prochaines semaines.
Si vous avez des avis sur ce qui est à inclure absolument dans cette page je suis preneur.
--Lowije (discuter) 23 septembre 2013 à 13:55 (CEST)
diagramme d'état[modifier le code]
Ne faut-il pas faire un lien avec l'article Diagramme états-transitions dont le développement est historiquement antérieur et le concept plus généraliste ? --Ruizo (discuter) 22 avril 2016 à 09:42 (CEST)
- Si vous avez des sources, n'hésitez pas !
. --Roll-Morton (discuter) 22 avril 2016 à 10:26 (CEST)
- Ben en fait non le réseau est antérieur au grafcet
Réseau de pétri et GRAFCET[modifier le code]
Les réseaux de Petri sont apparus en 1962, dans la thèse de doctorat de Carl Adam Petri.
Du grafcet aux réseaux de Petri
Auteur(s) : René David, Hassane Alla
Editeur(s) : Hermès - Lavoisier
EAN13 : 9782866013257
Résumé
Les connaissances nécessaires à la compréhension et à l'utilisation du Grafcet et des réseaux de Pétri sont réunies dans cet ouvrage. Le Grafcet est un outil de spécification des automatismes logiques. Créé en 1977, il est maintenant largement enseigné et utilisé en France et il est devenu une norme internationale en 1987. Une présentation formelle et cohérente y est faite ici. Les réseaux de Pétri permettent la description de systèmes dynamiques à événements discrets de toute nature. Ils possèdent de nombreuses propriétés qui sont présentées ici de façon simple et claire. Les principales extensions et abréviations utiles pour la modélisation et l'analyse des systèmes à événements discrets sont présentées. Outre les réseaux de Pétri synchronisés, temporises, stochastiques, continus et colorés, cette deuxième édition définit et étudie les réseaux de Pétri hybrides qui contiennent une partie discrète et une partie continue. Cette édition introduit également les réseaux de Pétri synchronisés étendus, et apporte des compléments et améliorations. Du Grafcet aux réseaux de Pétri , qui s'adresse en priorité aux enseignants, constitue un support de cours indispensable pour les écoles d'ingénieurs et les universités. Sa conception didactique originale le rend accessible à de nombreux lecteurs. En effet, une centaine d'exercices dont certains très élémentaires sont proposés au fur et à mesure de l'avancement de la lecture, et une solution est donnée pour chacun de ces exercices.
Idées de sujet à traiter[modifier le code]
- Parler de bisimulation entre réseaux de Petri
- Parler de variantes comme les reset Petri nets
- de causalité
- Pomset bisimulation pour les reset Petri nets