Vanwege het Corona virus is het nog onduidelijk hoe het onderwijs precies verzorgd gaat worden. Zie voor de actuele informatie de betreffende vakpagina’s op Blackboard/Brightspace.

Studiegids

nl en

Bio-Modeling with Petri Nets

Vak
2012-2013

Admission requirements

Bachelor in Biology/LST/BFW/CS. Or admitted in the BioInformatics program.

Contact information

Contact Dr. H. Kleijn, kleijn@liacs.nl or Dr Ir FJ Verbeek, fverbeek@liacs.nl

Description

Experimental and computational approaches can be combined to systematically investigate biological systems. To understand a biological system, structural and dynamic properties have to be represented by a model describing the entities involved and their interaction. This course aims at making students aware of formal, mathematically precise, approaches to the faithful modeling of biological processes. In an interdisciplinary approach we will investigate how to construct and analyze such models using the framework of the modeling technique Petri nets and related tools.

This course is a combination of lectures, a students’ seminar, practical assignments, and project work. After a few introductory lectures and an inventory of the class (number, interests, background), groups will be formed to work on small projects in which they will model aspects of a biological process using Petri nets. Students’ presence at all meetings is mandatory.
A case study in biology will be used to guide understanding of modeling of biological phenomena. In general, it is strived at to study different levels of representation: molecular, cellular and tissue level. These can be modeled dealing with the organism and its organ systems down through gene expression patterns and cell-to-cell signaling. Past years we have been using axis-formation in Xenopus leavis and bacterial infection in zebrafish. The students’ projects may serve as stepping stone to a computer science master project.

Learning goals

Course objectives:
Learning to model a problem from the bio-domain in a modeling domain, e.g. a Petri Net.

Final qualifications:
Having obtained in depth knowledge of abstracting features from processes into computational models.

Timetable

February 2013 – May 2013, 1 lecture a week, (tentative) Tuesday 15.45 -17.30
Time table is published on the website
1st lecture February 5th 15.45-17.30; then weekly according to schedule.
Project presentations are scheduled in May.

Mode of instruction

This course is a combination of lectures, a students’ seminar, practical assignments, and project work.

Assessment method

Participation in the lectures is mandatory. Each of the students works out an assignment, presents progress and this project assignment is concluded with a report and the outcome of the assignment. Both are presented to the course administration and assessed for the final mark.

Blackboard

Blackboard is not used for this course.

There is a website that holds all information required.

Reading list

Papers are provided by the course administration. The papers that are directly relevant to the introductory part of the course are provided via the website.

Registration

Registration is dealt with through the website
Registration is open for a limited time.

Alternatively, contact the course administration for information.

Exchange and Study Abroad students, please see the Prospective students website for more information on how to apply.

Remarks

A flyer is available from the website.