Modelling biological processes using workflow and Petri Net models | Synapse