, , :
1. : , , , .. .
2. : , (), .. -, , .
3. : , (.. );
4. : , , , ( , , );
5. : , , (.. , ).
(event) - , , , .
- , . , , .
(condition) - , , (). .. , (1), ; , (0), . , , .
, , , .
(pre-condition) - , .
, . . - , .
(post-condition) - , , .
, . . .
|
|
, , - , .
- (pre/consequence condition) - , .
, , - , .
(state of system) - , .
.
, , . , , , .
, .
1. , , .. , , .. .
2. , , - .
3. , , .. , .
4. .
5. .
, , - , , , :
- ;
- ;
- , : .
, , .
, , / , .
|
|
/ (condition/event system) , - ; - ; - ; -, .
/ , , .
/ (behavior od system) - .
(transition) - , .
:
( );
,m - ( ).
(place) - , , .
- :
( );
;
- ;
- .
- Þ :
, : Þ , ;
, : Þ , , ;
, .. , - ;
, .. .
, (), (, ).
(bund of arches) - , , .
( ; ) - :
( ; ) - :
, , .
(Petrinet) - , - / , - ; ; .
, ( ) / : ( ) ( ). 1962 . .
, / , .
- , .
|
|
- - , .
- , :
0, , ;
1, , ;
- ;
( - ).
(taken) - , () , , . ( ), ( ), ( - ).
() (marking) - ( ), .
:
/ .
, .
.
/ , , .
(, ) - .
, / . (, ) () .
, . , , : , , , . . , .