Приведение синтезированной сети Петри к формату интегрированного метода представления знаний

Каждый переход и каждая позиция сети Петри представляют собой сущность. Описание сущностей составной связи, синтезированной в виде сети Петри, происходит в следующей последовательности.

• 1. Формируется/запрашивается имя рассматриваемой сущности.
• 2. По входным в позицию или переход дугам формируется предусловие сущности: условие включает имя сущности (перехода или позиции, если их имена идентичны) откуда берет начало дуга и признак его активности — «1». Таким образом формируется каждое условие из предусловий сущности.
• 3. По выходным дугам формируется постусловие рассматриваемой сущности. Для обеспечения безопасности сети Петри признаки активности могут соответствовать признаку активности только для одной ситуации. В качестве постусловия берется признак срабатывания перехода.
• 4. Cписок имен нижнего уровня формируется из имен сущностейпризнаков, используемых в предусловиях.
• 5. Список имен верхнего уровня формируется из имен элементов сети Петри в условиях которых присутствует признак срабатывания рассматриваемой сущности (перехода,

Сформированная составная связь «Найти объект» не является конкретной, а позволяет создавать связь для всех допустимых ситуаций.