Поскольку О-сети объявляются представлениями параллельных процессов, возникает вопрос, насколько корректно они представляют процессы этого типа. ... - Большая Энциклопедия Нефти и Газа
Поскольку О-сети объявляются представлениями параллельных процессов, возникает вопрос, насколько корректно они представляют процессы этого типа. Сравнение определений параллельного процесса и О-сети убеждает, что все понятия, связанные с процессами, хорошо интерпретируются в терминах сетей. Чтобы установить обратное, следует выяснить, для любой ли О-сети можно найти подтверждающий ее реальный параллельный процесс. Трудность здесь состоит в том, что формальное понятие сети нужно сравнивать с неформализованным, интуитивным понятием параллельного процесса. Однако уже предварительные исследования показали, что существуют синтаксически корректные О-сети, которые, если их проинтерпретировать как процессы, оказываются неприемлемыми в качестве реальных процессов. В связи с этим Петри [74, 77] ввел дополнительное условие / ( - плотности для 0-сетей, соблюдение которого позволяет избежать описанного выше несоответствия между синтаксическим и семантическим аспектами сетевого представления процессов.