Bioinformatics Vol. 18 no. 6 2002
Pages 825-837
© 2002 Oxford University Press
Modelling biological processes using workflow and Petri Net models
Stanford Medical Informatics, Stanford University, Stanford, CA, 94305, USA
Received on October 16, 2001
; revised on December 20, 2001
; accepted on January 7, 2002
Motivation: Biological processes can be considered at many levels of detail, ranging from atomic mechanism to general processes such as cell division, cell adhesion or cell invasion. The experimental study of protein function and gene regulation typically provides information at many levels. The representation of hierarchical process knowledge in biology is therefore a major challenge for bioinformatics. To represent high-level processes in the context of their component functions, we have developed a graphical knowledge model for biological processes that supports methods for qualitative reasoning.
Results: We assessed eleven diverse models that were developed in the fields of software engineering, business, and biology, to evaluate their suitability for representing and simulating biological processes. Based on this assessment, we combined the best aspects of two models: Workflow/Petri Net and a biological concept model. The Workflow model can represent nesting and ordering of processes, the structural components that participate in the processes, and the roles that they play. It also maps to Petri Nets, which allow verification of formal properties and qualitative simulation. The biological concept model, TAMBIS, provides a framework for describing biological entities that can be mapped to the workflow model. We tested our model by representing malaria parasites invading host erythrocytes, and composed queries, in five general classes, to discover relationships among processes and structural components. We used reachability analysis to answer queries about the dynamic aspects of the model.
Availability: The model is available at http://smi.stanford.edu/projects/helix/pubs/process-model/
Contact: peleg{at}smi.stanford.edu yeh{at}smi.stanford.edu russ.altman{at}stanford.edu
* To whom correspondence should be addressed.
CiteULike 
Connotea 
Del.icio.us What's this?
This article has been cited by other articles:
|
|
 |
|
  V. Galvao, J. G. V. Miranda, and R. Ribeiro-dos-Santos Development of a two-dimensional agent-based model for chronic chagasic cardiomyopathy after stem cell transplantation Bioinformatics, September 15, 2008; 24(18): 2051 - 2056. [Abstract] [Full Text] [PDF]
|
|
|
|
 |
|
 H. MATSUNO, C. LI, and S. MIYANO Petri Net Based Descriptions for Systematic Understanding of Biological Pathways IEICE Trans A: Fundamentals, November 1, 2006; E89-A(11): 3166 - 3174. [Abstract] [PDF]
|
|
|
|
|
|
D. Shegogue and W. J. Zheng Object-oriented biological system integration: a SARS coronavirus example Bioinformatics, May 15, 2005; 21(10): 2502 - 2509. [Abstract] [Full Text] [PDF]
|
|
|
|
 |
|
 M. Peleg, D. Rubin, and R. B. Altman Using Petri Net Tools to Study Properties and Dynamics of Biological Systems J. Am. Med. Inform. Assoc., March 1, 2005; 12(2): 181 - 199. [Abstract] [Full Text] [PDF]
|
|