Visualisation of Large Modular Petri Nets

From Master Projects
Jump to: navigation, search

About Visualisation of Large Modular Petri Nets

  • This project has been fulfilled.
  • This project fits in the following Bachelor programs: {{#arraymap:|, |xXx|bachelorproject within::xXx|,}}
  • This project fits in the following masterareas: {{#arraymap:Multimedia, Formal Methods and Software Verification, Bioinformatics|, |xXx|project within::xXx|,}}


Petri nets are a formalism used to represent and analyse concurrent systems, such as distributed algorithms or biological cells. The sizes of networks used in life sciences have been growing rapidly and there is an urgent need for tools to work with them at bigger scales. In this project the student should develop a graphical tool to handle large modular networks.

The project requires researching existing solutions, innovative ideas about how to present big data structures and has a potential for being applied by research groups within and outside the VU. A perfect candidate has good programming skills, experience in GUI programming and has taken courses of human-computer interaction or computer graphics.