Сон в философии Турья

Руководство пользователя

С помощью инструментов, которые выбираются в панели, показанной на рис. 40 на главном полотне создаются соответствующие объекты.

Рис. 40.

Панель инструментов

Объекты-позиции и объекты-переходы создаются простым кликом. Объект стрелка работает следующим образом: после выбора объекта-стрелки у позиций и переходов появляются маленькие квадратики по бокам:

Рис. 41.

Выбор объектов для связи

После клика по одной из связи за курсором тянется красная линия, которая может завершиться на другом объекте:

Рис. 42.

Линия связи

После чего связь будет создана:

Рис. 43.

Связь создана

При выбранном объекта управления курсор можно кликнуть правой кнопкой на позицию:

Рис. 44.

Свойства позиции

И в получившемся окне ввести количество фишек.

Рис. 45

.

Ввод количества фишек

Рис. 46.

Результат ввода количества фишек

Также редактор поддерживает сохранение в собственном формате.

Рис. 47.

Диалог сохранения файла

Альтернативные проекты

Вообще следует упомянуть, что в настоящее время существует достаточно мало визуальных редакторов сетей Петри. Но один проект - PIPE3 - Platform Independent Petri Net Editor - заслуживает упоминания. Данный редактор обладает более широкими возможностями, нежели разработанный в рамках курсового проекта. В частности он позволяет задавать имя каждому объекту (позиции или переходу), содержит готовые типы переходов как мгновенного и длительного, а, кроме того, сохраняет все получившиеся модели в формате XML, что позволяет работать с ними в других программах. И более того, как следует из названия, проект платформо-независимый, то есть сможет работать на любых компьютерах под управлением любых операционных систем.

Вид окна данного редактора представлен ниже:

Рис. 48.

Общий вид редактора PIPE3

Выводы

В ходе данной работы была проведена работа по исследованию литературы по прикладному применению сетей Петри, анализ существующей литературы по психологии сознания и построение некоторых моделей Нечаева [1], применимых к процессу познания как творческому, в форме графического представления сети Петри. Следует сказать, что сеть Петри является очень хорошим механизмом, и, несмотря на некоторую возможную сложность, которая может возникнуть при первом рассмотрении, она позволяет проводить анализ процессов на более глубоком уровне за счёт разделения на позиции и переходы.

Кроме того в рамках курсового проекта была разработана визуальная среда, позволяющая легко и быстро создавать модели в виде графического представления сети Петри, а также был показан альтернативный современный редактор сетей. На основании этого можно заключить, что сети Петри из чисто академического интереса в виду простоты построение в вышеупомянутых редакторах, могут найти широкое применение и в реальных учебных процессах, в частности, в нашем ВУЗе. А данная работа должна помочь молодым специалистам освоиться и изучить применимость данной технологии моделирования к реальным задачам.