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.

Рубрика Программирование, компьютеры и кибернетика
Предмет System and software engineering
Вид дипломная работа
Язык английский
Прислал(а) I. Berdnikov
Дата добавления 04.08.2016
Размер файла 3,3 M

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

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


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

  • Использование 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

  • Модель коллектива вычислителей. Кластерные вычислительные системы. Параллельные программы. Список коммуникационных функций дифференцированных обменов. Профилактика зрительного и статического утомления. Схема механизма появления туннельного синдрома.

    дипломная работа [2,7 M], добавлен 22.08.2016

  • Характеристика UML как унифицированного графического языка моделирования для описания, визуализации, проектирования и документирования объектно-ориентированных систем. Диаграмма программного обеспечения, деятельности, последовательности и реализации UML.

    курсовая работа [439,9 K], добавлен 05.06.2014

  • Компьютерные игры можно разделить на три в значительной степени перекрывающихся класса: позиционные, динамические и зрелищные. Фазы создания видеоигр. Процедуры и функции. Описание модулей: CRT, DOS, GRAPH. Создание видеоигры "Псьянс "Три пика"".

    курсовая работа [35,8 K], добавлен 04.02.2008

  • Методы физического моделирования. Основные положения теории подобия. Характеристика особенностей метода эквивалентных материалов. Обзор программных продуктов, используемых для геологического моделирования. Современный комплекс Reservoir Modeling System.

    контрольная работа [312,0 K], добавлен 30.05.2013

  • Поняття та властивості компонента DataGrid. Компоненти DataChooser та DateField, які являють собою календар, що дозволяє користувачеві вибрати потрібну дату. Приклад використання компонентів Menu та MenuBar. Властивості компонента NumericStepper та Tree.

    реферат [80,7 K], добавлен 20.08.2011

  • Поиск корня алгебраического уравнения. Формирование графических объектов на основе "Диаграмма Microsoft Graph". Системы линейных алгебраических уравнений. Алгоритм формирования и копирования матриц для вычисления определителей, вектора решения СЛАУ X.

    контрольная работа [991,1 K], добавлен 11.05.2009

  • Описание бизнес-процесса "Химчистка" в визуальной среде Visual Paradigm UML 2.0. Основные виды взаимодействия между актерами и вариантами использования. Составление диаграммы классов, последовательности, коммуникаций и состояний. Кодогенерация на Delphi.

    контрольная работа [1,4 M], добавлен 04.04.2011

  • Визначення основних математичних понять по роботі із 3D-графікою і операцій над векторами і матрицями. Алгоритм видалення невидимих ребер та граней при побудові непрозорих об'єктів за допомогою модуля Graph 3D. Методи програмування анімації і спрайтів.

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

  • Використання мови програмування Turbo Pascal, алгоритмів та графічних примітивів модуля Graph. Розробка та реалізація програми для сортування вагонів з довільного порядку в порядок через один. Присвоєння початкових значень та сортувальний алгоритм.

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

  • Использование графических возможностей Турбо Паскаля, подключение графического модуля Graph. Графические функции и процедуры. Общая структура графической программы. Построение фигур, определение цветов и стилей, работа с текстом, сообщения об ошибках.

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

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