Modelling biological processes using workflow and Petri Net models
The knowledge model of Protege-2000: combining interoperability and flexibility