Для моделирования отдельных ситуаций, которые могут возникать
при эксплуатации системы, применимы стохастические сети, в кото-
рых указанные характеристики являются вероятностными, т. е. вво-
дится функция плотности вероятности срабатывания переходов или
моментов нахождения фишек в позициях.
Для программной реализации модели можно представлять сети
Петри в виде двудольного мультиграфа. Его структура состоит из
двух заголовочных списков — списка переходов и списка позиций.
Каждый элемент списка позиций — это запись, содержащая семь по-
лей:
x
и
y
позиции (ее центра); поле с именем (номером) позиции;
число фишек, принадлежащее данной позиции; число фишек до за-
пуска перехода; поле, содержащее указатель на список переходов, в
которые направлены дуги из данной позиции; поле с указателем на
следующий элемент списка позиций.
Каждый элемент списка переходов включает в себя
x
и
y
пере-
хода (его центра), а также поля: имени (номера) перехода,приоритета
перехода, задержки перехода, указателя на список позиций, “исходя-
щих” из данного перехода; указателя на список позиций, “входящих”
в данный переход;указателя на следующий элемент списка переходов.
С помощью “дуговых” списков, заявленных в описании, осуще-
ствляется связь между позициями и переходами сети Петри. Там же
хранится информация о числе дуг, связывающих данный переход с
данной позицией или данную позицию с данным переходом. Каждый
элемент “дугового” списка переходов, “подвешенного” к какому-то
элементу списка позиций, содержит три поля:указатель на “исходя-
щий” переход в “заголовочном” списке; кратность (число) дуг, по-
ступающих в него из позиции, к которой подвешен “дуговой” спи-
сок;указатель на следующий элемент списка.
К каждому элементу “заголовочного” списка переходов “под-
вешено” два почти одинаковых “дуговых” списка, их структура
совершенно идентична. Они содержат поле указателя на “входя-
щую”/“исходящую” позицию для перехода, к которому подвешен
“
дуговой” список;кратность (число) таких дуг; указатель на следу-
ющий элемент списка. Описания рассмотренных списков приведены
ниже:
Type
Lref=ˆLeader; {указатель на заголовочный узел позиции}
Mref=ˆMurder; {указатель на заголовочный узел перехода}
Tref=ˆTrailer; {указатель на дуговой узел позиции}
Uref=ˆUser; {указатель на дуговой узел перехода}
Leader=
Record
{
описание типа заголовочного узла позиции}
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
23
