.


:




:

































 

 

 

 





2.1. (Decision)

, . (. 3.1).

 
 
Decision  

 


 

 

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 - .

 





:


: 2016-11-12; !; : 388 |


:

:

, , .
==> ...

1967 - | 1631 -


© 2015-2024 lektsii.org - -

: 0.008 .