Ontology Based Standardization of Petri Net Modeling for Signaling Pathways

Taking account of the great availability of Petri nets in modeling and analyzing large complicated signaling networks, semantics of Petri nets is in need of systematization for the purpose of consistency and reusability of the models. This paper reports on standardization of units of Petri nets on the basis of an ontology that gives an intrinsic definition to the process of signaling in signaling pathways.

[1]  H Matsuno,et al.  Hybrid Petri net representation of gene regulatory network. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[2]  Nicola Guarino,et al.  Some Ontological Principles for Designing Upper Level Lexical Resources , 1998, LREC.

[3]  Riichiro Mizoguchi,et al.  Ontological integration of data models for cell signaling pathways by defining a factor of causality called 'signal'. , 2004, Genome informatics. International Conference on Genome Informatics.

[4]  Susumu Goto,et al.  The KEGG resource for deciphering the genome , 2004, Nucleic Acids Res..

[5]  J. Massagué,et al.  Mechanisms of TGF-β Signaling from Cell Membrane to the Nucleus , 2003, Cell.

[6]  Sunwon Park,et al.  Knowledge representation model for systems-level analysis of signal transduction networks. , 2004, Genome informatics. International Conference on Genome Informatics.

[7]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[8]  Atsushi Doi,et al.  Biopathways representation and simulation on hybrid functional Petri net , 2003, Silico Biol..

[9]  B Marshall,et al.  Gene Ontology Consortium: The Gene Ontology (GO) database and informatics resource , 2004, Nucleic Acids Res..

[10]  Edgar Wingender,et al.  Consistent re-modeling of signaling pathways and its implementation in the TRANSPATH database. , 2004, Genome informatics. International Conference on Genome Informatics.