Colored Petri nets for systems biology - Liu, Fei (2012)