Миссал
ИНТЕРПРЕТАЦИЯ РЕВЕРСИВНЫХ ЧАСТИЧНО
МАРКИРОВАННЫХ SNCES-СЕТЕЙ
В данной работе предлагаются методы интерпретации реверсивных частично маркированных безопасных NCES-сетей (RsNCES-сетей), основанные на
представлении сетевых моделей в виде булевых функций и их последующей
минимизации. <...> Приведен алгоритм построения графа достижимости для
RsNCES-сетей. <...> Наиболее важным расширением в NCES-сетях являются событийные дуги, участвующие в определении множеств переходов, называемых шагами, в которых
переходы срабатывают одновременно. <...> Таким образом, в отличие от классических сетей Петри, в NCES-сетях допускается как асинхронное, так и синхронное срабатывание переходов. <...> В работе [3] было предложено обратное срабатывание шагов в NCESсетях для синтеза контроллеров, ряд проблем в этой области также исследовался в [4]. <...> В работе [5] неформально рассмотрены некоторые вопросы обратного
срабатывания шагов в безопасных NCES-сетях (sNCES-сетях). <...> Дальнейшее развитие принцип обратного срабатывания в sNCES-сетях получил в работе [6], в
которой формально были определены реверсивные частично маркированные
sNCES-сети (RsNCES-сети). <...> В ней предлагаются методы интерпретации RsNCES-сетей
класса A2B2 (как наиболее общего класса), которые могут использоваться,
например, для построения графа достижимости. <...> Основной задачей в
процессе интерпретации является вычисление маркировок и шагов. <...> Как показано в данной статье, интерпретация RsNCES-сетей во многом основывается
на представлении сетевых моделей в виде булевых функций и их последующей минимизации. <...> Вычисление минимального покрывающего множества маркировок
Нахождение минимальных покрывающих множеств является одной из
важных задач при интерпретации RsNCES-сетей. <...> Поволжский регион
вида этой задачи: 1) нахождение минимального покрывающего множества
переходов (при вычислении усеченных допустимых шагов); 2) нахождение
минимального покрывающего множества маркировок (МПММ) (при вычислении минимальных запрещающих <...>