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.
Effective start/end date1/01/0731/07/08


  • EPSRC: £98,079.00


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.