• home

• contact

• members

• teaching

• research

• publications

• software

• events

MAPK

Description - Model Specification - Analysis

---

Description

The mitogen-activated protein kinase published in [ HF96 ]. We consider the model in two different settings concerning the specific reaction rates: MAPK1 – the original settings [ HF96 ], and MAPK2 – the settings published in [ LBS00 ] and used in [ GHL07 ], [ HGD08 ].

---

Model specification

Snoopy - APNN* - Rewards

---

Snoopy

APNN*

---

---

Analysis

Reachability Graph

N	states	state transitions
1	118	468
4	99,535	910,872
8	10,276,461	125,012,862
12	210,211,339	2,891,933,226
16	1,992,860,377	29,387,897,076
20	12,000,107,271	185,059,987,092
24	53,504,918,725	851,344,309,410
28	192,618,136,387	3,136,487,370,390

Experimental Results