Les réseaux de Pétri sont une technique
de simulation à événements discrets
développée pour la représentation de systèmes et plus particulièrement de
leurs propriétés de concurrence et de synchronisation.
Différentes extensions à
la théorie initiale de cette méthode ont
été utilisées pour la modélisation de
processus de biologie moléculaire et de
réseaux métaboliques. Il s’agit des
extensions stochastiques, colorées, hybrides et fonctionnelles. Ce document
fait une première revue des différentes
approches qui ont été employées et des
systèmes biologiques qui ont été modélisés grâce à celles-ci. De plus, le
contexte d’application et les objectif
s de modélisation de chacune sont
discutés
