Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. - Jean-Paul Comet; Hanna Klaudel; Stéphane Liauzu (ICATPN, 2005)