• home

• contact

• members

• teaching

• research

• publications

• software

• events

ERK

Description - Model Specification - Analysis

---

Description

The RKIP inhibited ERK pathway published in [ CSK+03 ], discussed as qualitative and continuous Petri nets in [ GH06 ], and as three related Petri net models in [ HDG10 ].

---

Model specification

Snoopy - APNN* - Rewards

---

Snoopy

APNN*

---

---

Analysis

Reachability Graph

N	states	state transitions
1	13	30
10	47,047	372,372
20	1,696,618	15,609,594
30	15,721,464	152,964,416
50	283,887,981	2,895,687,860
60	811,375,152	8,377,511,982
100	15,914,114,086	168,445,271,970

Experimental Results