Logo

examples

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

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

Nstatesstate transitions
196228
25,38426,193
42,413,48021,810,412
6277,789,57824,813,347,031
814,645,724,153227,879,240,754
10453,721,607,5418,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.

the end

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy