Поскольку О-сети объявляются представлениями параллельных процессов, возникает вопрос, насколько корректно они представляют процессы этого типа. ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Котов В.Е. Сети Петри


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

(cкачать страницу)

Смотреть книгу на libgen

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