Les Réseaux  de PETRI
Réseaux de Pétri, l'ancêtre du grafcet, l'outil ultrapuissant de logique séquentielle.
Un .PDF
Carl Adam PETRI
Petri_net
Université-lorraine
    LAAS (Toulouse)
    LIFL (Laboratoire d'informatique fondamentale de LILLE)
    INRIA - Projet macsi (Modélisation et synthèse des systèmes industriels)
    amadeus - inria (Modèle MIN-Plus des RdP).
    masi.95 (A symbolic transition system for a subset of VHDL'87)
    CCR jussieu

    Rostock
    afsec-cnrs (Approche formelle des systèmes embarqués....)
    afsec
    dssz (International Workshop on Biological Processes & Petri Nets....)
    metz (RdP, le cours....)
    sys_disc (Cours....)
    Kloonigames
Izhikevich
Bar code