.
()(marked graph) - , :
(conflict-free Petri net) - (. 4), :
;
, , .
. 5.3.
( )- , :
:
:
{ } | |||||
{ , } | |||||
{ } |
:
{ , } | |||||
{ , } |
() - ,:
:
(. 5.4):
. 5.4.
. () (. 5.5).
:
1. ( ).
|
|
2. , , , .
3. . :
-
- .
2 3
UNIX IBM PC 486 UNIX
1 6
ࠠ -
IBM PC 486 ()
()
4 5
MS-DOS IBMPC 386
MS-DOS
. 5.5.
1
.ǔ .ǔ ..ǔ
.ǔ
.ǔ .ǔ
ǔ ࠠ ǔ. ǔ
1. -ǔ . ǔ
|
|
ࠠ
- ǔ ǔ.
ǔ ǔ ǔ . ǔ
2 ***
ࠠ .
. 5.6. ʔ.
. () (. 5.7).
2 1
ࠠ
Р
3
4
. 5.7. є
є 4 5 :
- ;
- є;
- ;