2.1. (Decision)
, . (. 3.1).
|
3.1 - .
- , , () . , Description, Name-, Description Comments. - Close , .
2.2.
. () (. .3.2).
3.2 -
(' Subsequent ') -. , 'Variable', 'Random generator' and 'Resource'. , .
(A transition condition) . .
(<elementary expression>) , OR, AND NOT.
:
<Variable name><Operator><Constant>,
- <Variable name> - , .
- <Operator> - <, >, =,!=, <=, >=
- <Constant> - . , .
.
:
(a) (<elementary expression1>) AND (<elementary expression2>)
(b) (<elementary expression1>) OR (<elementary expression2>)
(c) NOT (<elementary expression1>)
(d) (<elementary expression1>) AND (NOT (<elementary expression2>))
(a) X='Yes' , X Yes' (, ),
|
|
(b) (X='Yes') AND (Y='Yes'),
(c) Z<1000 , Z 1000 (Z ),
(d) NOT(Z<1000) , Z 1000,
(e) (X='NO') OR (NOT (Z=1000)) , X 'NO' Z 1000 (X , Z ).
Transition probability .
0-1, . . , .
, View Representation:
Both .
Above/below .
Right/left - .