Outils pour utilisateurs
fr:pn-biomodelling
Différences
Ci-dessous, les différences entre deux révisions de la page.
|
fr:pn-biomodelling [2017/11/19 22:21] sivanov créée |
fr:pn-biomodelling [2018/05/15 15:22] (Version actuelle) sivanov Ajouter des points manquants à la fin de certaines phrases. |
||
|---|---|---|---|
| Ligne 16: | Ligne 16: | ||
| Cette partie donne la motivation pour l'introduction des réseaux de Petri et définit formellement le modèle ainsi que ses modes d'évolution (de dynamique), notamment les modes synchrone et asynchrone. Le parallèle entre les réseaux de Petri et la réécriture de [[https://en.wikipedia.org/wiki/Multiset|multiensembles]] est mis en avant. | Cette partie donne la motivation pour l'introduction des réseaux de Petri et définit formellement le modèle ainsi que ses modes d'évolution (de dynamique), notamment les modes synchrone et asynchrone. Le parallèle entre les réseaux de Petri et la réécriture de [[https://en.wikipedia.org/wiki/Multiset|multiensembles]] est mis en avant. | ||
| - | Les diapositives (en anglais) de cette partie se trouvent {{:network-medicine-4.pdf|ici}} | + | Les diapositives (en anglais) de cette partie se trouvent {{:network-medicine-4.pdf|ici}}. |
| ==== 2. Extensions ==== | ==== 2. Extensions ==== | ||
| Ligne 22: | Ligne 22: | ||
| Cette partie indique quelques limitations de la version de base des réseaux de Petri et introduit les extensions classiques, comme les couleurs de jetons ou encore les arcs inhibiteurs. Le coût des extensions est évalué de façon intuitive par rapport à la décidabilité : les variantes plus expressives sont souvent indécidables. | Cette partie indique quelques limitations de la version de base des réseaux de Petri et introduit les extensions classiques, comme les couleurs de jetons ou encore les arcs inhibiteurs. Le coût des extensions est évalué de façon intuitive par rapport à la décidabilité : les variantes plus expressives sont souvent indécidables. | ||
| - | Les diapositives (en anglais) de cette partie se trouvent {{:network-medicine-5.pdf|ici}} | + | Les diapositives (en anglais) de cette partie se trouvent {{:network-medicine-5.pdf|ici}}. |
| ==== 3. Propriétés ==== | ==== 3. Propriétés ==== | ||
| Ligne 28: | Ligne 28: | ||
| Cette partie explore quelques propriétés comportementales et structurelles fondamentales des réseaux de Petri. Les propriétés comportementales sont abordées en premier puisqu'elles sont plus faciles à comprendre. Cette partie inclut quelques exercices qui devraient être résolus de façon interactive. Des exercices supplémentaires peuvent être donnés au tableau. | Cette partie explore quelques propriétés comportementales et structurelles fondamentales des réseaux de Petri. Les propriétés comportementales sont abordées en premier puisqu'elles sont plus faciles à comprendre. Cette partie inclut quelques exercices qui devraient être résolus de façon interactive. Des exercices supplémentaires peuvent être donnés au tableau. | ||
| - | Les diapositives (en anglais) de cette partie se trouvent {{:network-medicine-6.pdf|ici}} | + | Les diapositives (en anglais) de cette partie se trouvent {{:network-medicine-6.pdf|ici}}. |
| ==== 4. Études de cas ==== | ==== 4. Études de cas ==== | ||
fr/pn-biomodelling.1511126511.txt.gz · Dernière modification: 2017/11/19 22:21 par sivanov
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : GNU Free Documentation License 1.3
