Например, Бобцов

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

Аннотация:

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

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

Статьи в номере