Использование реверсивных частично маркированных sNCES-сетей в синтезе контроллеров безопасности для дискретно-событийных систем

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

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