Ensuring correct behavior of Petri nets by adding transition prioritiesм

A Petri net as a mathematical modeling notation, a bipartite graph which described by the five-tuple. Markings - natural numbers, when the maximal bound is set by last property described above - boundedness. Constructing and extending a spine tree.

Рубрика Программирование, компьютеры и кибернетика
Вид дипломная работа
Язык английский
Дата добавления 04.08.2016
Размер файла 3,3 M

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

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


HTML-версии работы пока нет.
Cкачать архив работы можно перейдя по ссылке, которая находятся ниже.


Подобные документы

  • Использование CASE-средств для моделирования деловых процессов; совершенствование проектирования информационных систем с помощью программного пакета CA ERwin Modeling Suite: характеристики, возможности визуализации структуры данных и среды развертывания.

    реферат [970,5 K], добавлен 20.03.2012

  • Файлы BGI и содержимое модуля Graph, инициализация и закрытие графических режимов, их классификация, анализ и управление. Рисование графических примитивов и фигур, управление цветами и шаблонами, вывод текста, выбор шрифта и стиля, сжатия изображения.

    реферат [65,3 K], добавлен 31.05.2010

  • MathML (Mathematical Markup Language): язык разметки математических приложений. Математика и ее система обозначений. Существующие языки математической разметки. Синтаксис и грамматика MathML. Возможности современных браузеров при работе с MathML.

    курсовая работа [489,2 K], добавлен 14.07.2009

  • Основні характеристики і графічні можливості адаптерів. Процедури ініціалізації і завершення графічного режиму. Розгляд структури графічної Паскаль-програми. Реалізація механізму визначення помилок в модулі GRAPH. Особливості побудови геометричних фігур.

    реферат [31,9 K], добавлен 13.11.2010

  • Составление системы управления базой данных "Гостиница", с помощью которой можно отслеживать постоянных постояльцев и записывать неструктурированную информацию о посетителе. Создание объектов базы данных на языке sql-запросов, таблиц Client и Numbers.

    курсовая работа [1,5 M], добавлен 28.12.2012

  • Данные как непременный атрибут любой программы. Знакомство с особенностями трёхуровневого иерархического списка. Общая характеристика основных компонентов формы MainForm и Correct. Анализ логической структуры данных, рассмотрение способов управления.

    дипломная работа [491,1 K], добавлен 27.05.2013

  • Спосіб настроювання бібліотеки. Пояснення до основних понять бібліотеки компонентів Symbol Pin Numbers. Створення символу шляхом редагування існуючого елемента. Створення графіки символів і корпусів за допомогою редакторів Symbol і Pattern Editor.

    контрольная работа [112,2 K], добавлен 29.09.2010

  • Компьютерные презентации как вид мультимедийных проектов. Появление идеи PowerPoint. История развития Open Office Impress. Офисный пакет для компьютеров Macintosh. Текстовый процессор Pages, электронные таблицы Numbers и редактор презентаций Keynote.

    презентация [2,8 M], добавлен 27.03.2013

  • UML (Unified Modeling Language) как унифицированный графический язык моделирования. Диаграмма программного обеспечения, диаграмма деятельности, последовательности и реализации UML. IDEF0 как нотация описания бизнес-процессов, основана на методологии SADT.

    курсовая работа [460,0 K], добавлен 21.06.2014

  • Описание процесса 3D моделирования как этапа разработки сложных технологических или архитектурных форм. Принцип стереолитографической печати, лазерного спекания, ламинирования. Основы "струйной" объемной печати: Fused Deposition Modeling и Polyjet.

    реферат [20,8 K], добавлен 27.03.2012

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.