Modeling and analysis of cell membrane systems with probabilistic model checking.

Associated with each arrow, there is also a sign that indicates if the transition rate has always a positive trend (+) or a negative trend (-), and, finally, if the trend can be negative and positive during the system evolution (+/-).

also in 4,201 other papers

First, we compute the positive or ascending trend [ 17 ] of a transition rate r ( s , s i ) from a current state s : where E ( s ) is the exit rate of state s , i.e., E ( s ) = ∑ s′∈S r ( s , s′ ), being S a finite set of states, and ξ is a threshold that indicates a positive trend.

also in 11,005 other papers