Biopathways representation and simulation on hybrid functional Petri net. - Hiroshi Matsuno; Yukiko Tanaka; Hitoshi Aoshima; Atsushi Doi; Mika Matsui; Satoru Miyano (Silico Biol., 2003)