Интерпретация реверсивных частично маркированных SNCES-сетей

SNCES-сети сетевые модели булевы функции Net Condition/Event Systems сети Петри Петри сети триггерные переходы усеченные допустимые шаги полные допустимые шаги контекстные маркировки графы достижимости

Метод измерения дисбаланса жестких роторов в режиме сферического циркуляционного движения, Оценка результативности процессов кафедры, ...

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

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт