Logo

examples

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

AKAP

Description - Model Specification - Analysis


Description

A model of the AKAP scaffold mediated crosstalk published in [ AC10 ].


Model specification

Snoopy - APNN* - Rewards


Snoopy

APNN*


Reward structures


Analysis

Reachability graph

Nstatesstate transitions
2164,7801,290,590
415,611,175182,686,345
6386,805,1045,481,551,180
84,729,951,95075,196,829,970
1037,076,475,612636,904,248,354

CSL formulas

The expected average number of tokens on place cAMP in the steady state.
The expected average number of tokens on place cAMP 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