Графический редактор сетей Петри - Все для студента. Ул. ГТУ, 2. 0 стр. Программа позволяет создавать новые сети путем добавления позиций и переходов, соединяя их определенным образом. Вершины и ребра графа сети Петри можно перемещать по области построения, а также удалять, редактировать и копировать. Была разработана xml схема, описывающая структуру xml файла, получающегося в результате сохранения построенной сети Петри. Данная схема позволяет верифицировать xml файл при загрузке уже построенной сети, что исключает ошибки, если входной файл имеет неправильную структуру. Программа написана на языке Java, поэтому ее можно запускать как в ОС Windows, так и в Linux и др. Сети Петри можно использовать для моделирования систем распределения ресурсов. Сеть Петри, моделирующая программу и представляющая ограничения, налагаемые программой, объединяется с сетью Петри, моделирующей устройство управления CDC 6600 и.
В проекте решается задача создания сетей Петри и моделирования ими различных процессов, систем, объектов. В частности использование разработанной программы VisualPetri как инструмента для моделирования объектов гибких автоматизированных производств (ГАП). ПРИМЕРЫ сетей Петри для моделирования процесса пакетирования заявок и синхронного моделирования элемента И-НЕ. ПРИМЕРЫ сетей Петри различных систем и процессов и их реализации в программе IngProject – см. Продемонстрированы возмож-ности программы CPN Tools, предназначенной для моделирования сетей Петри. Опи-саны механизмы построения и анализа полученных сетей. Ключевые слова: инженерия ПО, сети Петри, CPN Tools, дерево достижимости.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. Archives
July 2017
Categories |