@PHDTHESIS{Doi2006, author = {Atsushi Doi}, school = {The University of Tokyo}, title = {Modeling and simulation of biological pathways with Hybrid Functional Petri Net}, year = {2006} }