Description of the «MAPK» model
This Petri net is extracted from here and models a biochemical reaction: Mitogen-activated protein kinase kaskade.
The figure above shows this model with a marking set up for factor 8. You van also find a pdf version of the model here: MAPK8.pdf.
Scale factor
The scale factor is a coefficient that changes the initial marking of places by adding tokens. Please see the PNML files for more informations about different markings. Proposed instances use the following coefficient: 8, 20, 40, 80, 160, 320.
Model files
PNML files and a set of properties respecting the BNF we propose are available in the submission kit.
