. Класс сетей Петри, реализованный в CPN Tools

Министерство образования и науки, молодежи и
спорта Украины
Национальный аэрокосмический университет
им. М.Е.Жуковского «ХАИ»
Факультет заочного обучения


РЕФЕРАТ

на тему: Моделирование ИС вCPN Tools

по дисциплине: Математическое моделирование информационных систем.


Выполнил: студент гр.96Т1
Лысогор В.СПроверил:
Воробьёв А.В



Харьков – 2013г.

СодержаниеВведение……………………………………………………………………. | |
1. Класс сетей Петри, реализованный в CPN Tools……………………... | |
1.1. Граф сети Петри и язык CPN ML.………..…………………….. ||
1.2. Пример моделирования …………….…………..………………. | |
2. Назначение и основные функции CPN Tools…………………………. | |
2.1. Назначение CPN Tools…………………………………………... | |
2.2. Основные функции CPN Tools…………………….…………… | |
3.Литература…………………………………

Введение

CPN Tools – это специальная моделирующая система, которая использует язык сетей Петри для описания моделей. Системабыла разработана в Университете Орхуса в Дании и свободно распространяется для некоммерческих организаций через сайт Уровень предоставляемого сервиса позволяет классифицировать CPN Tools как промышленную моделирующую систему. Она была использована в большом количестве реальных проектов, особенно в области телекоммуникаций. В последнее время корпорация Nokia применяет CPN Tools дляуправляемой моделью разработки нового поколения мобильных телефонов.

1. Класс сетей Петри, реализованный в CPN Tools

CPN Tools предлагает очень мощный класс сетей Петри для описания моделей. Согласно стандартной классификации такие сети называют иерархическими временными раскрашенными сетями Петри. Было доказано, что они эквивалентны машине Тьюринга и составляетуниверсальную алгоритмическую систему. Таким образом, произвольный объект может быть описан с помощью этого класса сетей.
Простейшая концепция раскрашенной сети Петри использует различные типы фишек. Тип фишки определен натуральным числом и визуально представлен как цвет: 1 – красный, 2–синий, 3–зеленый, и т.д. Концепция раскрашенной сети Петри CPN Tools более сложная. Такие сетичасто
называют обобщенными раскрашенными сетями, так как тип фишки представлен абстрактным типом данных, как в языках программирования. Термин «раскрашенная» сохраняется исторически, но теперь очень трудно представить такие «цвета» визуально.
Временные сети Петри используют понятие модельного времени для описания продолжительности действий в реальных объектах.В отличие от классических сетей Петри, где срабатывание перехода происходит мгновенно, срабатывание перехода во временной сети связано с определенной
продолжительностью или временной задержкой. Это позволяет анализировать временные характеристики реальных объектов, например, время отклика как характеристику качества обслуживания сети.
Иерархические сети обеспечивают построение сложныхмоделей. В таких сетях элемент может быть представлен другой сетью. В CPN Tools переход может быть замещен дополнительной сетью. Таким образом, получается вложенная конструкция: сеть внутри сети. Количество уровней иерархии не имеет принципиальных ограничений. Отметим, что, такой подход широко
распространен в языках программирования, где процедуры используются для...