Petri Net Based Descriptions for Systematic Understanding of Biological Pathways

Hiroshi Matsuno,Chen Li,Satoru Miyano
DOI: https://doi.org/10.1093/ietfec/e89-a.11.3166
2006-01-01
IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences
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.
What problem does this paper attempt to address?