Chaouiya C.  2011.  Computational BiologyModeling in Systems BiologyA Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets. 16:253-279.