This blog is for a past version of the course. You can also consult the current MLCSB course web pages.

These first entries provide basic material for the course. The remainder of the references are divided into different specific areas, mostly focusing on applications to Systems Biology. I shall be adding material as the course proceeds — feel free to add your own recommendations in the comments.

Petri Nets

Model Checking

The first of these is an invited conference talk, giving an overview of some work on applying model-checking to problems in systems biology. The second is a more detailed article on the material.

Leave a Reply