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