Автор работы: Пользователь скрыл имя, 12 Марта 2012 в 15:05, контрольная работа
Сети Петри – инструмент исследования систем. В настоящее время сети Петри применяются в основном в моделировании. Во многих областях исследований явление изучается не непосредственно, а косвенно, через модель. Модель – это представление, как правило, в математических терминах того, что считается наиболее характерным в изучаемом объекте или системе. Манипулируя моделью системы, можно получить новые знания о ней, избегая опасности, дороговизну или неудобства анализа самой реальной системы. Обычно модели имеют математическую основу.
Рис. 7: Пример слияния цветных сетей Петри по S-точке доступа
T-точка доступа. При синхронизации по t-точке доступа используется информация о пометке переходов, участвующих в синхронизации. При преобразовании цветных сетей в простые, переходы расщепляются на количество, равное мощности множества значений принимаемых всеми токенами, поступающими в переход. В связи с этим возникает возможность параметризации пометки перехода выражениями, содержащими переменные поступающие в переход.
Рис. 8: Пример слияния цветных сетей по T-точке доступа
На приведённом ниже примере видно, как параметризованный переход, преобразуется в простые сети.
Рис. 9: T-Слияние простых сетей из рисунка 8.
Рис. 10: Представление композициональных сетей Петри на уровне взаимодействия сетей.