Réseaux de PETRI
(RdP)

• Un ouvrage de référence: Réseaux de PETRI par Robert VALETTE (LAAS-CNRS Toulouse)
  Un clic sur "Pages Enseignement". Consultez d'urgence le site pendant que Robert VALETTE (Désormais retraité) laisse encore ces POLYS en ligne au LAAS-CNRS (Toulouse). (Des .pdf à télécharger).
• Une introduction proposée par Robert VALETTE
• "Je n'ai qu'une petite tète, et il faut bien que je vive avec", disait HOARE (Informaticien de renom américain).
• "Un bon programme ne comporte pas de commentaire algorithmique. Un commentaire dans un algorithme est un aveu que le code n'est pas écrit de façon lisible" J.P ROSEN
• "Tout problème de codage est un problème de conception qui s'ignore" J.P ROSEN
• "Les 'astuces de programmation' sont une calamité. Un bon programme dit ce qu'il fait et fait ce qu'il dit" J.P ROSEN
• "Si l'on pouvait faire en sorte que les programmeurs écrivent les programmes en langage naturel, on s'apercevrait qu'ils ne savent pas exprimer leurs idées en langue naturelle [?!]
• Librairie BLANCHARD
• Réseaux de PETRI

---

ASIC   /  Electronique_numérique chez wikibooks   /  Logique_séquentielle chez wikiversity
Description_par_graphe   /  Séquentiel   /  Réseaux de PETRI   /  L'industrie
Réseaux de PETRI (Notes de Cours par N.Bennis)

---

Positionnement des RdP: Polycopiés Eléments graphiques constitutifs d'un RdP et fondamentaux RdP pour la modélisation et la matérialisation des systèmes séquentiels Illustrations: Schéma producteur - consommateur Les philosophes Inter-blocage Applications: (A venir) 1) Conversion analogique / numérique sur une ou deux voies. 2) Commande élémentaire d'un outil à charioter. 3) Détection de sens de rotation. 4) Couplage camera CCD. 5)  Filtre numérique ordre 2

---

Carl Adam Petri en 1962

wikipedia
emse
cours_petri2 ?!!
univ-nantes
metz supelec
univ-poitiers
CoursRdP_Exemples
polytech.univ-tours
Nice-EPU-GB4
ensta-bretagne
deptinfo.cnam
cui.unige.ch
valenciennes
univ-savoie
laas
robert
ens-lyon
cirad
techniques-ingenieur
specialautom
irccyn
/ simulateurs-logiciels
ens-cachan
***** archives-ouvertes
**** univ-reims
unit.eu
irisa
intro... *** cyranac

---

http://www.commentcamarche.net/forum/affich-5433463-reseaux-de-petri-et-programmation-java
http://cpntools.org ------ Colored Petri Nets simulator
http://www.lsv.ens-cachan.fr/Projects/anr-dots/PUBLIS/CJ-notere10.pdf
https://magarotto.users.greyc.fr/pdf/All_Exam_RdP.pdf
http://www.metz.supelec.fr/metz/personnel/vialle/course/CNAM-ACCOV-NFP103/extern-doc/RdP/RdP-proprietes.pdf
http://forums.cnetfrance.fr/topic/170312-reseaux-de-petri/
http://forum.hardware.fr/hfr/Programmation/Java/reseaux-petri-java-sujet_30964_1.htm
http://lacl.univ-paris12.fr/gava/stages/ProofCompilePetriNets.pdf
http://ensirail.free.fr/rdp.html
http://www.clubeea.org/documents/mediatheque/synthese_petri_fsm.pdf
http://www.robotique.wikibis.com/reseau_de_petri.php