Событийный подход к формализации

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

Поэтому в дополнение к определению структуры, параметров, переменных модели и взаимосвязи между ними необходимо задать полный перечень модельных событий, описывающих явления, протекающие в реальной системе и приводящие к изменению ее состояний.

Для каждого модельного события задаются:

смысловая формулировка;

код (целое, положительное число, использующееся для идентификации события);

атрибуты, содержащие необходимую дополнительную информацию о событие (например, номер канала обслуживания, номер места в очереди и т.п.);

условия появления события;

алгоритм обработки события, определяющий изменения в состоянии модели, которые должны произойти при появлении события.

При обработке события в задачу алгоритма обработки может входить как планирование других модельных событий в соответствии со сложившимися на момент его возникновения условиями, так и возможное исключение ранее запланированных событий (например, в СМО с ограниченным временем пребывания в очереди в момент поступления заявки в очередь для нее должно быть запланировано событие «потеря заявки» из-за истечения времени нахождения в очереди; однако если до поступления этого момента времени заявка поступит на обслуживание, то событие «потеря заявки» для нее должно быть исключено из списка будущих событий).

Пример: рассматривается простейшая одноканальная СМО с ограничением на время ожидания заявки в очереди Т.

очередь

Канал обслуж-я