10. Коллизии в работе сети Петри.

“Если нашим проводником будет природа, мы никогда не заблудимся”.

Неизвестный античный автор.

Примером коллизии будет случай состояния сети Петри, показаный на рисунке заголовка. Очевидно, что единственная метка в месте-состоянии S2 может быть использована либо местом-переходом Т1 (тогда Т2 – будет пассивен), либо метом-переходом Т2 (и будет пассивен Т1). Какой вариант выбрать?

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

23