Chaouiya C, REMY E, Thieffry D.  2008.  Petri net modelling of biological regulatory networks. Journal of Discrete Algorithms. 6(2):165-177.