Performance Evaluation of a Two-Processor Scheduling Method for Acyclic SWITCH-less Program Nets. - Qi-Wei Ge; Chen Li 007; Mitsuru Nakata (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Petri Net Based Descriptions for Systematic Understanding of Biological Pathways. - Hiroshi Matsuno; Chen Li 007; Satoru Miyano (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)

Structural Modeling and Analysis of Signaling Pathways Based on Petri Nets. - Chen Li 007; Shunichi Suzuki; Qi-Wei Ge; Mitsuru Nakata; Hiroshi Matsuno; Satoru Miyano (J. Bioinform. Comput. Biol., 2006)

An Algorithm to Estimate Delay Times in Petri Net Models of Signaling Pathways with Experimental Data. - Kanji Hioka; Yoshimasa Miwa; Chen Li 007; Qi-Wei Ge; Hiroshi Matsuno; Satoru Miyano (BIONETICS, 2008)

Systematic reconstruction of TRANSPATH data into Cell System Markup Language. - Masao Nagasaki; Ayumu Saito; Chen Li 007; Euna Jeong; Satoru Miyano (BMC Syst. Biol., 2008)

Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension. - Chen Li 007; Masao Nagasaki; Kazuko Ueno; Satoru Miyano (BMC Syst. Biol., 2009)

Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram. - Chen Li 007; Masao Nagasaki; Ayumu Saito; Satoru Miyano (BMC Syst. Biol., 2010)

Delay Time Determination for the Timed Petri Net Model of a Signaling Pathway Based on Its Structural Information. - Yoshimasa Miwa; Yuki Murakami; Qi-Wei Ge; Chen Li 007; Hiroshi Matsuno; Satoru Miyano (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010)

On Determining Firing Delay Time of Transitions for Petri Net Based Signaling Pathways by Introducing Stochastic Decision Rules. - Yoshimasa Miwa; Chen Li 007; Qi-Wei Ge; Hiroshi Matsuno; Satoru Miyano (Silico Biol., 2010)

Cell Illustrator 4.0: A Computational Platform for Systems Biology. - Masao Nagasaki; Ayumu Saito; Euna Jeong; Chen Li 007; Kaname Kojima; Emi Ikeda; Satoru Miyano (Silico Biol., 2010)

MIRACH: efficient model checker for quantitative biological pathway models. - Chuan Hock Koh; Masao Nagasaki; Ayumu Saito; Chen Li 007; Limsoon Wong; Satoru Miyano (Bioinform., 2011)

XiP: a computational environment to create, extend and share workflows. - Masao Nagasaki; André Fujita; Yayoi Sekiya; Ayumu Saito; Emi Ikeda; Chen Li 007; Satoru Miyano (Bioinform., 2013)

CSML2SBML: A novel tool for converting quantitative biological pathway models from CSML into SBML. - Chen Li 007; Masao Nagasaki; Emi Ikeda; Yayoi Sekiya; Satoru Miyano (Biosyst., 2014)

High-speed parameter search of dynamic biological pathways from time-course transcriptomic profiles using high-level Petri net. - Chen Li 007; Jiale Qin; Keisuke Kuroyanagi; Lu Lu; Masao Nagasaki; Satoru Miyano (Biosyst., 2021)