- •Цельлабораторной работы.
- •Тактическая цель.
- •Стратегическая цель.
- •Общие теоретические положения.
- •Сеть Петри – это очень просто.
- •Процессы хранения и преобразования.
- •Связи мест в сети Петри.
- •Статическое представление сети Петри.
- •База данных статического представления сети Петри.
- •Элементы и связи как образы процессов.
- •Жизнь сети Петри.
- •Развитие базы данных сети Петри.
- •Алгоритм работы сети Петри.
- •Коллизии в работе сети Петри.
- •Средства выполнения работы.
- •Советы и рекомендации.
- •Первый вариант реализации программы.
- •Второй вариант реализации программы.
- •Анализ организации данных первого варианта.
- •Как построить объектную базу данных.
- •Порядок выполнения работы.
- •Определите структуру данных приложения.
- •Детализируйтереализацию алгоритма.
- •Входной язык – описание сети Петри.
- •Входной язык.
- •Трассировкапри имитации.
- •Особенности реализации событийного механизма.
- •Содержание и оформление результатов работы.
- •Варианты.
Общие теоретические положения.
Сеть Петри – это очень просто.
Системный аналитик должен постоянно помнить, что представить наблюдения предметной области – только первый шаг. Главное, что ему надо обеспечить - экономию сил и времени других людей, использующих это представления, и адекватность передачи им информации. Известно, что чем более развит язык некоторого сообщества, тем более коротким будет лингвистическое представление на нем предметных областей. Очевидно, что уровень развития системного анализа в целом определяется общим уровнем культуры сообщества аналитиков, прежде всего - математической. Сеть Петри – пример того математического формализма, который должен знать каждый профессиональный системный аналитик.
Допустим, что наш объект системного анализа или «фирма» – достаточно компактна и мы сделали её «фотографию». На ней отражены все объекты предметного мира. Отбросим несущественные и рассмотрим те из них, которые принадлежат окружению и самой фирме, от которых она существенно зависит. Это будут элементы нашей предметной области. Представить их мы можем только с конечной точностью. Эти объекты можно классифицировать по значению их свойств. А их свойства вытекают из процесса их рождения, существования и гибели. Если пренебречь количественной оценкой свойств объектов, то мы можем заметить, что объекты могут находиться в процессах либо «хранения», либо «преобразования». Очень интересен вопрос, как отличать процессы «хранения» от процессов «преобразования» объектов.
Процессы хранения и преобразования.
В моделях процессов «хранения», т.е. местах - состояниях, изменение свойств объектов во времени можно считать независимыми друг от друга, а «преобразования» – зависимых друг от друга и поэтому изменяющие свои свойства. В процессе «хранения» возможна самозависимость свойств объекта. Например, это деградация свойств объектов во времени (старение), но в трактовке ординарной сети Петри процесс «хранения» не изменяет свойства объектов (в других - может иметь самые разные модели). Представление модели процесса хранения в сетях Петри отражается местом- состоянием (окружностью). Различные места–состояния сети Петри образуют множество процессов хранения объектов во времени и пространстве S = { S1, S2, ..., Ss, ..., S|S|}, где |S| - мощность этого множества.
Модели процессов «преобразования» свойств объектов в сетях Петри, т.е. места-переходы, представляются жирной чертой (сжатый «черный ящик»). Каждая модель – некоторая векторная функция зависимости в общем случае всех выходных свойств объектов от всех входных. В ординарных сетях Петри значения свойств игнорируются, т.е. важно только количество объектов на входе и выходе. Различные места–переходы сети Петри образуют множество процессов преобразования объектов (как «черные ящики») во времени и пространстве T = { T1, T2, ..., Tt, ..., T|T|}, где |T| - мощность множества. В ординарных сетях Петри функциональные зависимости перехода выступают только процессы рождения и гибели объектов.
Как же представляются сами объекты? Их образ – точка (фишка, метка). В одном месте-состоянии может находиться произвольное количество неразличимых объектов в фиксированный момент времени. Важно только их количество. С другой стороны – места переходы могут находится в двух состояниях – активном и пассивном. Дальнейшее определение сети Петри требует введения понятия связей и их смысла.