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

В данной работе предлагаются методы интерпретации реверсивных частично маркированных безопасных NCES-сетей (RsNCES-сетей), основанные на представлении сетевых моделей в виде булевых функций и их последующей минимизации. Приведен алгоритм построения графа достижимости для RsNCES-сетей.

Вы можете купить электронную версию издания «Интерпретация реверсивных частично маркированных SNCES-сетей». После оплаты (для архивов) оно будет доступно в Личном Кабинете в разделе «Электронные издания». В случае оформления подписки, издание будет доступно по мере поступления от издателя. Формат PDF/HTML. Стоимость — от 90.00 руб.