Linking visual formalisms and specification calculi for biological modelling

Project Details

Key findings

This grant was for a 7 month visit by Prof. Harel from the Weizmann Institute, to work on various aspects of computational systems biology. Harel, with others produced GemCell a generic cell modelling tool. Stevens build an intra-cellular model of viral infection using a process-based discrete event simulation package (SimJava). Plotkin produced a concept of multilevel Petri net suitable for modelling both inter- and intra- cellular behaviour. Prof. Harel and Prof. Evelyn Fox Keller of MIT, produced a philosophical paper about the nature of genes.
StatusFinished
Effective start/end date1/01/0731/07/08

Funding

  • EPSRC: £98,079.00