Интерпретация реверсивных частично маркированных 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 в виде ДНФ булевой функции. <...> Имеется два близких подхода для представления некоторой маркировки (в общем случае – частичной) в виде булевой функции. <...> Истинность этой функции интерпретируется <...>

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