Logo

examples

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

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

Nstatesstate transitions
11330
1047,047372,372
201,696,61815,609,594
3015,721,464152,964,416
50283,887,9812,895,687,860
60811,375,1528,377,511,982
10015,914,114,086168,445,271,970

Experimental Results

… the end …

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