1237

в

Рис. 6.7. Окончание

Срабатывание t3 приводит к маркировке 101 (рис. 6.8).

в

Рис. 6.8. Срабатывание перехода t3 (а), изъятие фишки из р2 (фишка в р3 остаётся) и возвращение фишки в позицию р1 (б), таблица состояний рi (в)

Далее возможно «накопление» фишек в р3.

81

6.2. Моделирование сетей Петри с использованием свободно распространяемого программного продукта GRaph INterface

Для моделирования сетей Петри также возможно использовать свободно распространяемую программу GRaph INterface (GRIN) [20]. Там процесс функционирования сети более нагляден. Создаём сеть

(рис. 6.9).

Рис. 6.9. Моделирование сети Петри (см. рис. 6.2) в программном продукте GRaph INterface (GRIN)

Надо иметь в виду, что там моделируется стохастическая сеть – переходы срабатывают в случайном порядке. Запускаем моделирование в автоматическом режиме, открывается окно модели – исходное состояние (рис. 6.10).

Рис. 6.10. Исходное состояние моделирования сети Петри (см. рис. 5.3) в программном продукте GRaph INterface (GRIN)

82

Рис. 6.11. Первый шаг моделирования сети Петри (см. рис. 5.3) в программном продукте GRaph INterface (GRIN)

Первый шаг – срабатывает t1, в P2 появляется метка (рис. 6.11). Второй шаг – возврат в исходное состояние при срабатывании t3

(рис. 6.12).

Рис. 6.12. Второйшаг моделирования сети Петри(см. рис. 5.3) в программном продукте GRaph INterface (GRIN) – возврат в исходное состояние

83

Рис. 6.13. Исходное состояние (см. рис. 6.10) срабатывание перехода t2, перенос метки из P1 в P2, P3

Если сначала срабатывает переход t2, то метка переносится из

P1 и в P2 и в P3 (рис. 6.13).

Следующий шаг – возврат в исходное при срабатывании t4 (рис. 6.14).

Рис. 6.14. Возврат в исходное состояние при срабатывании t4 (метки изымаются из Р2, Р3 и возвращается одна метка в Р1)

84

Иопять срабатывает переход t2, тогда метка переносится из P1

ив P2, и в P3 (рис. 6.15).

Рис. 6.15. Срабатывание перехода t2, метка переносится из P1 и в P2 и в P3

Если срабатывает переход t3, то метка переносится из P2 в P1, а в P3 – остаётся (рис. 6.16).

Рис. 6.16. Повторное срабатывание перехода t3 (метка переносится из P2 в P1, а в P3 – остаётся)

85

Иещё раз срабатывает переход t2, метка переносится из P1

ив P2 и в P3, в P3 теперь 2 метки (рис. 6.17).

Рис. 6.17. Третье срабатывание перехода t2 (метка переносится из P1 и в P2 и в P3, т.е. в P3 теперь 2 метки)

Таким образом и далее можно анализировать работу сети.

86

7. ГРАФИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ СХЕМЫ АЛГОРИТМА. РЕАЛИЗАЦИЯ СХЕМЫ АЛГОРИТМА КОНЕЧНЫМ АВТОМАТОМ

Граф-схема алгоритма (ГСА) – это ориентированный граф особого вида. Он содержит вершины четырех типов: 1) операторные, обозначаемые прямоугольниками; 2) условные, обозначаемые ромбами; 3) начальную и 4) конечную вершины, обозначаемые овалами. Вершины соединяются дугами.

Граф-схемы алгоритмов называют просто схемами алгоритмов и выполняют по ГОСТ 19.701-90 «Схемы алгоритмов, программ, данных и систем. Условные обозначения и правила выполнения».

Обратите внимание – не «блок-схемами алгоритмов», а просто «схемами алгоритмов»!

Символом «Терминатор» – овал – обозначаются начальная и конечная вершины схемы алгоритма. Начальная вершина имеет один выход, а конечная – одни вход (рис. 7.1).

Рис. 7.1. Терминатор – начальная и конечная вершины схемы алгоритма

Символ отображает выход во внешнюю среду и вход из внешней среды. Используется для обозначения начала или окончания алгоритма.

Поток данных или управления изображается линией. Используется для соединения символов в алгоритме. Направления справа

налево и снизу вверх обозначаются стрелками.

Символ «Процесс» используется для обозначения операций присваивания, отображает функцию обработки данных любого вида (выполнение определенной операции или группы операций, приводящее к изменению значения, формы или размещения информации) и изображается прямоугольником (рис. 7.2).

87

Рис. 7.2. Процесс

Символ «Решение» (рис. 7.3) отображает решение или функцию переключательного типа, имеющую один вход и ряд альтернативных выходов, один и только один из которых может быть активизирован после вычисления условий, определенных внутри этого символа.

Соответствующие результаты вычисления могут быть записаны по соседству с линиями, отображающими эти пути.

Рис. 7.3. Решение

Символ «Решение» используется для обозначения оператора условного перехода или оператора варианта.

На рис. 7.4, 7.5 показано использование символа «Решение» для двух альтернативного и многоальтернативного ветвления.

88

Символ «Соединитель» отображает выход в часть схемы и вход из другой части этой схемы и используется для обрыва линии и продолжения ее в другом месте (рис. 7.6).

Рис. 7.6. Соединитель

Соответствующие символы-соединители должны содержать одно и то же уникальное обозначение.

Символ «Комментарий» используется для добавления описательных комментариев или пояснительных записей с целью объяснений или примечаний (рис. 7.7).

Рис. 7.7. Символ «Комментарий»

Пунктирные линии в символе комментария связаны с соответствующим символом или могут обводить группу символов. Текст комментариев или примечаний должен быть помещен около ограничивающей фигуры.

Символ «Данные» отображает данные, носитель данных не определен (рис. 7.8).

Рис. 7.8. Символ «Данные»

Символ «Данные» используется для обозначения операций ввода и вывода данных.

89

Символ «Предопределенный процесс» (рис. 7.9) отображает предопределенный процесс, состоящий из одной или нескольких операций или шагов, которые определены в другом месте (в подпрограмме, модуле).

Рис. 7.9. Символ «Предопределенный процесс»

Символ «Предопределенный процесс» используется для обозначения неэлементарных блоков.

Символ «Подготовка» (рис. 7.10) отображает модификацию команды или группы команд с целью воздействия на некоторую последующую функцию (установка переключателя, модификация индексного регистра или инициализация программы).

Рис. 7.10. Символ «Подготовка»

Символ «Подготовка» может быть использован для обозначения заголовка цикла.

Символ «Граница цикла», состоящий из двух частей, отображает начало и конец цикла. Обе части символа имеют один и тот же идентификатор (рис. 7.11).

Рис. 7.11. Символ «Граница цикла»

90