Рис. 6. Иллюстрациясрабатыванияперехода
удаляются и один маркер размещается в
P
3
, что и проиллюстрировано
на рис. 6,
а
и
б
.
Если данное правило поставить в соответствие реальным процес-
сам, которые моделируются, то в нашем случае оператор выполняется
лишь тогда, когда все необходимые данные имеются в наличии.
Перемещение маркеров по сети позволит сделать заключение о
том, является ли сеть живой, т.е. существует ли принципиальная воз-
можность срабатывания всех переходов. Кроме того, перемещение
маркеров позволит сделать вывод о том, является ли сеть достижи-
мой, т.е. достижимы ли все положения сети.
Для визуального отображения перемещения маркеров по сети с
демонстрацией всех возможных состояний сети потребовалось около
50 рисунков, подобных рис. 4, только с различной разметкой положе-
ний. В связи со значительным объемом информации, представленной
в виде рисунков, и плохой обозримости этой информации воспользу-
емся представлением разметки сети в виде кортежей. В этом случае
порядковый номер в кортеже соответствует числу маркеров в соот-
ветствующем положении. Начальной маркировке сети соответствует
следующая разметка сети:
М
1
=
{
000000100000
}
.
Срабатывание перехода
t
11
приведет к очередной разметке сети:
М
2
=
{
100000100000
}
.
Для удобства записи разметок сети и упрощения последующего их
анализа последовательность разметок представлена в виде таблицы,
фрагмент которой приведен в табл. 2. Возможные маркировки сети
представлены в виде таблицы из 54 строк.
После просмотра последней строки таблицы сделан вывод о том,
что все переходы сработали, причем многие из них неоднократно. Это
свидетельствует о том, что полученная сеть живая, а значит, и процесс
соответствующей сети живой, т.е. имеется принципиальная возмож-
ность выполнения всех операторов модели методики и достижимы
все состояния моделируемой человеко-машинной системы.
Таким образом, анализируемая сеть Петри является достижимой,
а значит, и все состояния соответствующего объекта исследования
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2008. № 2 111
