Применение сетей Петри для моделирования и верификации протоколов обеспечения транспортной безопасности

Юдаев В. В., Зубков Б. В.

Читать статью полностью

  Применение сетей Петри для моделирования и верификации протоколов обеспечения транспортной безопасности(1,76 MB)

Аннотация

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

Ключевые слова:

сети Петри – Petri net; транспортная безопасность – transport safety; предполетный досмотр – preflight inspection; акт незаконного вмешательства – illegal intervention act; моделирование – simulation

Список литературы

1. Зубков, Б. В. Подход к оценке эффективности функ- ционирования службы авиационной безопасности авиа- предприятия с использованием сетей Петри / Б.В. Зубков, В.В. Юдаев, Ю.А. Вербицкий // Научный вестник МГТУ ГА. – № 218 (8). – С. 71–75.

2. Окрестностное моделирование сетей Петри: моно- графия / С.Л. Блюмин [и др.]. – Липецк : ЛЭГИ, 2010. – 124 c.

3. Питерсон, Дж. Теория сетей Петри и моделирование систем : [пер. с англ.] / Дж. Питерсон. – М. : Мир, 1984. – 264 с.

4. Об утверждении Правил проведения предполетного и послеполетного досмотра. Приказ Минтранса России от 25.07.07 № 104. – Введ. 09.08.07.

5. Об утверждении Правил проведения досмотра, допол- нительного досмотра, повторного досмотра в целях обеспе- чения транспортной безопасности. Приказ Минтранса России от 23.07.15 № 227. – Введ. 24.03.16.