Logo

examples

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

MAPK

Description - Model Specification - Analysis


Description

The mitogen-activated protein kinase published in [ HF96 ]. We consider the model in two different settings concerning the specific reaction rates: MAPK1 the original settings [ HF96 ], and MAPK2 the settings published in [ LBS00 ] and used in [ GHL07 ], [ HGD08 ].


Model specification

Snoopy - APNN* - Rewards


Snoopy

APNN*



Analysis

Reachability Graph

Nstatesstate transitions
1118468
499,535910,872
810,276,461125,012,862
12210,211,3392,891,933,226
161,992,860,37729,387,897,076
2012,000,107,271185,059,987,092
2453,504,918,725851,344,309,410
28192,618,136,3873,136,487,370,390

Experimental Results

the end

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