A Graphical Notation to Describe the Logical Interactions of Biological Pathways

The modelling of biological intra-cellular pathways requires the systematic capture and representation of interactions between components that are biologically correct and computationally rigorous. The challenge is two fold, to verify and extend our understanding of such pathways by comparing in silico models to experiments; and to ensure that such models are understandable by biologists and for checking biological validity. In this report we present a graphical notation, the Edinburgh Pathway Notation (EPN), which satisfies the central biologically driven requirements while providing a strict formal framework for analysis. The EPN emphasises the use of a logical representation of pathways, which is particularly suited to pathways were some mechanisms are not known in detail.