Petri Net Based Descriptions for Systematic Understanding of Biological Pathways

Authors:
Hiroshi Matsuno;Chen Li;Satoru Miyano
Affiliations:
The authors are with the Graduate School of Science and Engineering, Yamaguchi University, Yamaguchi-shi, 753-8512 Japan. E-mail: hmatsuno@yamaguchi-u.ac.jp,;The authors are with the Graduate School of Science and Engineering, Yamaguchi University, Yamaguchi-shi, 753-8512 Japan. E-mail: hmatsuno@yamaguchi-u.ac.jp,;The author is with Human Genome Center, Institute of Medical Science, The University of Tokyo, Tokyo, 108-8639 Japan.
Venue:
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Year:
2006

Citing 0
Cited 8

Visualization of the simulation data of biochemical network models: a painted Petri net approach

Proceedings of the 2007 Summer Computer Simulation Conference
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets

FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
An algorithm to estimate delay times in petri net models of signaling pathways with experimental data

Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems
Petri nets for systems and synthetic biology

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Petri nets for modelling metabolic pathways: a survey

Natural Computing: an international journal
Stochastic Petri net models of Ca2+ signaling complexes and their analysis

Natural Computing: an international journal
High Performance Hybrid Functional Petri Net Simulations of Biological Pathway Models on CUDA

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Biomodel engineering – from structure to behavior

Transactions on Computational Systems Biology XII

Quantified Score

Hi-index	0.00

Visualization

Abstract

Petri nets have recently become widely accepted as a description method for biological pathways by researchers in computer science as well as those in biology. This paper gives an overview of Petri net formalisms to describe biological pathways and discusses their use in modelings and simulations for the systematic understandings of biological pathways. After reviewing the use of various types of Petri nets for the biological pathway modelings, we showed the examples that analyze fundamental properties of biological pathways using T-invariant, P-invariant, siphon, and trap. Applications of hybrid Petri nets for producing new biological hypotheses through simulations are also illustrated.