sidebar-main
title
griff
banner-button_0 banner-button_Layer-7 banner_button_03 banner-button_Layer-4 banner-button_05 banner-button_Layer-5 banner-button_07
banner-button_08 banner-button_09 banner-button_10
Bioinformatics Unit banner
   homeoffresearchoffconfoffprogoffmemoffpuboffvacofflinkoff
   tabfoot tabfoot-bgtabfoot-bgtabfoot-bgtabfoot-bgtabfoot-bgtabfoot-bgtabfoot-bgtabfoot-bgtabfoot-bgtabfoot-bgtabfoot-bgtabfoot-bgtabfoot-bgtabfoot-bgtabfoot-bg

WNT/b-Catenin Petri net model and simulator

This is the download page for our work described in the following paper:

Modeling the Sequence of Events of Active and Hyperactive Wnt/β-catenin Signaling
Annika Jacobsen, Nika Heijmans, Reneé van Amerongen, Folkert Verkaar, Martine J. Smit, Jaap Heringa, K. Anton Feenstra
in preparation - to be submitted

Downloads
Petrinetsimulation.py Python implementation of the Petri net simulator used in this study
WNTmodel.pnml PNML file containing the complete Petri net model developed and investigated in this study
github Github repository with source code and input files (currently, the same as above)


(c) IBIVU 2026. If you are experiencing problems with the site, please contact the webmaster.