которого инициатор сцепляется с оператором hci+x. Возможны следующие варианты задания такого условия: а) указание момента времени /i+1 сцепления инициатора с оператором б) определение логического условия, при выполнении которого инициатор сцепляется с оператором hf+,; в) комбинированная форма, включающая варианты а) и б). Таким образом: Расширим понятие элементарного оператора, добавив к нему помимо оператора hc, оператор W\. Таким образом, определим элементарный оператор h\, как двойку: При сцеплении инициатора с элементарным оператором h\ происходит мгновенное выполнение его обеих составных частей: выполнение hc\ позволяет вычислить новое состояние sj процесса Z, а выполнение оператора дает возможность определить момент времени, либо логическое условие сцепления инициатора со следующим элементарным оператором hi+1. Теперь можно определить понятие алгоритмической модели процесса (в дальнейшем АМП), в виде тройки: ( 2. 11) где: W\ оператор условия сцепления; h‘\оператор временного условия; hn\оператор логического условия; ht,ll\оператор комбинированного условия. (2.12) (2.13) |
б) определение логического условия, при выполнении которого инициатор сцепляется с оператором h-+t; в) комбинированная форма, включающая варианты а) и б). Таким образом: где: /?у; оператор услов и я сцепления; h‘j оператор врем ен ного условия; И1j оператор ло ги ч еск о го услови я; И‘л\оператор комбинированного условия. Расширим понятие элементарного оператора, добавив к нему помимо оператора hcx оператор //j. Таким образом, определим элементарный оператор /?„ как двойку: При сцеплении инициатора с элементарным оператором 1ц происходит мгновенное выполнение его обеих составных частей: выполнение hc\ позволяет вычислить новое состояние s-, процесса Z, а выполнение оператора hVj даст возможность определить момент времени, либо логическое условие сцепления инициатора со следующим элементарным оператором А,*/. Теперь можно определить понятие алгоритмической модели процесса (в дальнейшем А М П ), в виде тройки: (2.11) (2.12) А м п " ) № , . / Ц ' АМ П = (2.13) где: множество элементарных операторов; [5линейный порядок на ; /инициатор. |