5
В раскрашенных сетях Петри немаловажную роль играет типизация данных,
основанная на понятии множества цветов. Для манипуляции цветом применяют
переменные, функции и другие элементы, известные из языков программирования.
Для отражения динамических свойств в сеть Петри введено понятие разметки
сети, которая реализуется с помощью так называемых фишек, размещаемых в
позициях. Для анализа систем реального времени введен временной механизм,
реализованный с помощью глобальных часов и так называемых штампов, которые
несут фишки. Фишка становится доступной для перехода, если ее штамп оказался
меньше значения счетчика глобальных часов. Часы наращивают свое значение, если
на данный момент времени ни один переход сети не разрешен.
Основным свойством раскрашенных сетей Петри, описывающих системы,
является их способность отражать динамические характеристики моделей. Для этого
проектировщику необходимо иметь программный инструмент, способный
интерактивно вводить данные о позициях, переходах и дугах, описывать множества
цветов, отражать процесс перемещения фишек. Одним из свободно
распространяемых программных продуктов, позволяющий проводить указанные
выше операции (а также ряд дополнительных), является программа CPNTools (http://
www.daimi.au.dk/CPNTools/), разработанная в университете г. Орхуса (Дания).
Программный продукт постоянно развивается и сопровождается группой, которая
разрабатывает теорию раскрашенных сетей Петри.
Вообще же с помощью сетей Петри можно построить многие динамические
модели бизнес-процессов, имеющих место и в финансовом менеджменте, что
позволит определить их свойства, достоинства и недостатки.
1.2. Построение модели распределенной вычислительной системы
с помощью цветных сетей Петри.
Распределенной является такая вычислительная система, которая представляет
собой набор соединенных каналами связи независимых компьютеров, которые с
точки зрения пользователя некоторого программного обеспечения выглядят единым
целым. В настоящее время наблюдается рост числа проектов по разработке
распределенных и параллельных систем для многих прикладных областей.