Banks, Richard ; Steggles, L. Jason (2007) A High-Level Petri Net Framework for Genetic Regulatory Networks. (3)