Modeling in Systems Biology : The Petri Net Approach - Ina Koch, Wolfgang Reisig, Falk Schreiber ((Computational Biology))