High-speed parameter search of dynamic biological pathways from time-course transcriptomic profiles using high-level Petri net.
Biosyst., 2021
CSML2SBML: A novel tool for converting quantitative biological pathway models from CSML into SBML.
Biosyst., 2014
XiP: a computational environment to create, extend and share workflows.
Bioinform., 2013
MIRACH: efficient model checker for quantitative biological pathway models.
Bioinform., 2011
Cell Illustrator 4.0: A Computational Platform for Systems Biology.
Silico Biol., 2010
On Determining Firing Delay Time of Transitions for Petri Net Based Signaling Pathways by Introducing Stochastic Decision Rules.
Silico Biol., 2010
Delay Time Determination for the Timed Petri Net Model of a Signaling Pathway Based on Its Structural Information.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010
Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram.
BMC Syst. Biol., 2010
Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension.
BMC Syst. Biol., 2009
Systematic reconstruction of TRANSPATH data into Cell System Markup Language.
BMC Syst. Biol., 2008
An Algorithm to Estimate Delay Times in Petri Net Models of Signaling Pathways with Experimental Data.
Proceedings of the 3rd International ICST Conference on Bio-Inspired Models of Network, 2008
Structural Modeling and Analysis of Signaling Pathways Based on Petri Nets.
J. Bioinform. Comput. Biol., 2006
Petri Net Based Descriptions for Systematic Understanding of Biological Pathways.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006
Performance Evaluation of a Two-Processor Scheduling Method for Acyclic SWITCH-less Program Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005