Моделирование систем управления. Шалобанов С.В. - 23 стр.

UptoLike

Составители:

Рубрика:

СЛУ, влияющих на структуру алгоритмов управления, заключается в нали-

чии в ней множества блоков, часть которых может работать одновременно,

взаимодействуя друг с другом. Поэтому формализованный язык должен об-

ладать средствами для описания параллелизма. Широкое распространение

многопрограммных и многопроцессорных систем вызвало развитие различ-

ных языковых средств, предназначенных для их описания и моделирования

Часть из них является расширением известных языков программирования,

другие основаны на использовании различных графовых моделей. Не имея

возможности дать полный обзор этих языков и провести их сравнение, рас-

смотрим более подробно язык сетей Петри [13-15], получивший широкое

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

тельной степени учитывать структуру и характер

функционирования CJIУ.

2.2. Основы теории сетей Петри

Появление теории сетей Петри связано с именем доктора Петри, защи-

тившим в 1962 году диссертацию, в которой были разработаны основы тео-

рии моделирования дискретных процессов. Сети Петри разрабатывались

специально для описания и моделирования систем, состоящих из отдельных

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

функционирующих

блоков. Другой характерной особенностью является то,

что каждый отдельный блок сам может быть целой системой и ее поведение

возможно описать независимо от других блоков, за исключением точно оп-

ределенного взаимодействия с этими блоками. Таким образом, сети Петри

являются эффективным инструментом моделирования дискретно проте-

кающих процессов с возможностью отображения таких свойств моделируе

мых объектов, как параллелизм, асинхронность, иерархичность.

Формализм теории сетей Петри основан на понятии комплекта, являю-

щегося обобщением понятия множества. Комплект, как и множество, явля-

ется набором элементов, но в отличие от него допускает кратное вхождение

элементов. В случае множества элемент может входить или не входить во