• home

• contact

• members

• teaching

• research

• publications

• software

• events

Angiogenesis

Description - Model Specification - Analysis

---

Description

The model of a selected portion of signal transduction events involved in the angiogenetic process published in [ NMC+09 ].

---

Model specification

Snoopy - APNN* - Rewards

---

Snoopy

APNN*

---

Reward structures

---

Analysis

Reachability Graph

N	states	state transitions
1	96	228
2	5,384	26,193
4	2,413,480	21,810,412
6	277,789,578	24,813,347,031
8	14,645,724,153	227,879,240,754
10	453,721,607,541	8,265,488,181,994

CSL formulas

The expected average number of tokens on place DAG in the steady state.

The expected average number of tokens on place DAG at time t.