?
Формирование информационных ресурсов на основе параллельных вычислений
Перспективы науки и образования. 2013. № 6. С. 26-30.
Кулагин В. П.
Раскрываются формирования информационных ресурсов на основе параллельных вычислений. Раскрыта проблема семантического разрыва. Отмечен антропологический подход оценки производительности вычислительных систем. Показана целесообразность применения тензорных методов и сетей Петри для формирования информационных ресурсов.
Мицюк А. А., Шугуров И. С., Automatic Control and Computer Sciences 2016 Vol. 50 No. 7 P. 460-470
Извлечение процессов (process mining) – новая и активно развивающаяся область исследований, тесно связанная с управлением процессами, формальными моделями процессов и извлечением данных (data mining). Одна из основных задач извлечения процессов – синтез (извлечение) модели процесса на основании анализа журнала событий. Разработан широкий спектр алгоритмов для извлечения, анализа и усовершенствования моделей процессов. Журналы событий реальных систем ...
Добавлено: 10 октября 2016 г.
Авдошин С. М., Набебин А. А., М. : ДМК Пресс, 2019
Книга содержит необходимые сведения из теории алгоритмов, теории графов, комбинаторики. Рассматриваются частично рекурсивные функции, машины Тьюринга, приводятся некоторые варианты алгоритмов (ассоциативные исчисления, системы подстановок, грамматики, продукции Поста, нормальные алгоритмы Маркова, операторные алгоритмы). Описываются основные типы графов (мультиграфы, псевдографы, эйлеровы графы, гамильтоновы графы, деревья, двудольные графы, паросочетания, сети Петри, планарные графы, транспортные сети). Приводятся некоторые часто ...
Добавлено: 24 августа 2018 г.
Бегичева А. К., Ломазова И. А., Modeling and Analysis of Information Systems 2015 Vol. 22 No. 3 P. 392-403
Process mining – это технология, которая посредством извлечения данных из журнала событий предоставляет различные методы для исследования реального процесса, его улучшения и контроля над ним. В данной статье мы рассматриваем проблему проверки соответствия между высокоуровневой моделью процесса и журналом событий. Проверка соответствия интенсивно изучается в рамках process mining, но в литературе можно найти только методы, ...
Добавлено: 5 августа 2015 г.
В.А. Башкин, И.А. Ломазова, Cybernetics and Systems Analysis 2011 № 2 С. 31-39
Рассматривается проблема моделирования мультиагентных систем с бесконечным множеством состояний. Исследуются формализмы, основанные на обобщении сетей активных ресурсов. Определены новые способы моделирования: параметризованные АР-сети, двухуровневые АР-схемы и двухуровневые АР-сети. Показано, что эти формализмы обладают удобным синтаксисом для моделирования мультиагентных систем, в том числе систем со сложной модульной или иерархической структурой. Доказано, что параметризованные АР-сети и двухуровневые ...
Добавлено: 19 марта 2011 г.
Дворянский Л. В., Theoretical Computer Science 2020
Вложенные сети Петри (NP-сеть) это удобный формализм для моделирования систем состоящих из распределенных мобильных агентов с автономным поведением. NP-сеть состоит из высокоуровневой системной сети и автономных сетевых токенов. Каждый сетевой токен это сеть Петри. Сетевые токены управляются системной сетью. Многие поведенческие свойства - живость, ограниченность, обратимость - неразрешимы для NP-сетей. Другие - завершимость и покрытие ...
Добавлено: 1 ноября 2019 г.
[б.и.], 2013
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’13) and the International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24–25, 2013. These are co-located events of Petri Nets 2013, the 34th international conference on Applications and Theory of Petri Nets and Concurrency.
PNSE'13 presents the use of Petri ...
Добавлено: 17 августа 2013 г.
Ломазова И. А., Fundamenta Informaticae 2010 Vol. 101 No. 1-2 P. 59-70
О взаимодействии документооборота сетей для рабочего процесса реинжиниринга. На примере сетей Петри. ...
Добавлено: 19 ноября 2012 г.
Дворянский Л. В., Михайлов В. Е., Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 4 P. 175-190
Вполне структурированные системы переходов являются хорошо известным инструментом для доказательства разрешимости свойств покрываемости и ограниченности. Каждый год появляются новые формализмы, которые оказываются вполне структурированными системами переходов. Несмотря на большой объем теоретической работы, существует большая потребность в эмпирических изучении вполне структурированных систем переходов. В данной работе представлен инструмент для анализа таких систем. Мы предлагаем расширение высокоуровневого ...
Добавлено: 1 октября 2017 г.
Vladimir A. Bashkin, Ломазова И. А., Fundamenta Informaticae 2011 Vol. 109 No. 3 P. 223-236
Добавлено: 2 февраля 2013 г.
Кулагин В. П., Цветков В. Я., Вестник МГТУ МИРЭА 2014 № 4 С. 18-38
Статья анализирует методы исследования сложных систем. Предлагается общий подход проектирования сложных систем на основе использования теории тензорного анализа. Показана целесообразность перехода от непрерывного пространства к дискретному. Показана необходимость перехода к новой геометрии, отличающейся от аналитической или проективной. Вводится понятие структуры сети Петри или СП- структуры. Вводится понятие эталонной модели СП-структур. Вводится понятие преобразования системы координат ...
Добавлено: 26 марта 2015 г.
Царегородцев А. В., Дербин Е. А., Мухин И. Н., Информация и безопасность 2015 Т. 18 № 3 С. 408-411
Использование облачных вычислений при построении ИТ-инфраструктуры организации подразумевает отказ организации от прямого контроля над аспектами безопасности. Возникает необходимость в решении задачи обеспечения конфиденциальности данных при проектировании архитектуры, основанной на технологии облачных вычислений. В статье рассматривается метод моделирования процесса обработки данных с помощью сетей Петри на основании требований политики безопасности организации, позволяющий получить важную информацию о ...
Добавлено: 15 марта 2016 г.
W.M.P. van der Aalst, Informatik-Spektrum, Germany 2014 Vol. 37 No. 5 P. 191-198
Seit ihrem Entwurf im Jahr 1962 sind Petrinetze in ganz unterschiedlichen Bereichen eingesetzt worden. Obwohl sie graphisch dargestellt werden und intuitiv einfach verständlich sind, haben Petrinetze eine formal eindeutige Semantik mit einer Vielzahl mathematischer Analysetechniken. Sie reichen vom Model Checking und der Strukturellen Analyse über das Process Mining bis zur Performanz-Analyse. Im Lauf der Zeit ...
Добавлено: 17 октября 2014 г.
W. M. P. van der Aalst, Software and Systems Modeling. Germany 2014 P. 1-7
Since their inception in 1962, Petri nets have been used in a wide variety of application domains. Although Petri nets are graphical and easy to understand, they have formal semantics and allow for analysis techniques ranging from model checking and structural analysis to process mining and performance analysis. Over time Petri nets emerged as a ...
Добавлено: 17 октября 2014 г.
Vladimir A. Bashkin, Irina A. Lomazova, Transactions on Petri Nets and Other Models of Concurrency 2014 Vol. 9 P. 1-18
A resource workflow net (RWF-net) is a workflow net, supplied with an additional set of initially marked resource places. Resources can be consumed and/or produced by transitions. Neither the intermediate nor final resource markings are constrained, hence a net can have an infinite number of different reachable states. An RWF-net with k tokens in the ...
Добавлено: 7 декабря 2014 г.
Vladimir A. Bashkin, Ломазова И. А., Fundamenta Informaticae 2012 Vol. 120 No. 3-4 P. 243-257
Автоматы, управляемые ресурсами, (RDA) представляют собой конечные автоматы, которые располагаются в узлах конечной системной сети и асинхронно потребляют/производят через порты (дуги системной сети) некоторые общие ресурсы. При этом RDA сами могут служить ресурсами друг для друга, что делает модель весьма гибкой. Ранее было доказано, что RDA-сети эквивалентны по выразительности сетям Петри.
В этой работе вводится новый ...
Добавлено: 28 ноября 2012 г.
Дворянский Л. В., Formal Methods in System Design (Нидерланды, целевой журнал) 2020
Вложенные сети Петри (NP-сети) - это формализм, удобный для моделирования систем, которые состоят из распределенных мобильных агентов с индивидуальным поведением. Выразительность формализма NP-сетей больше, чем у классических сетей Петри. Формализм позволяет моделировать открытые многоагентные системы с появлением, исчезновением, и клонированием агентов.
Несколько методов проверки, основанных на структурном анализе и методах проверки моделей, были
разработан для формализма. Но один из основных методов ...
Добавлено: 2 ноября 2019 г.
Мицюк А. А., Шугуров И. С., Моделирование и анализ информационных систем 2014 Т. 21 № 4 С. 181-198
Извлечение процессов (process mining) -- новая и активно развивающаяся область исследований, тесно связанная с управлением процессами, формальными моделями процессов и извлечением данных (data mining). Одна из основных задач извлечения процессов -- синтез (извлечение) модели процесса на основании анализа журнала событий. Разработан широкий спектр алгоритмов для извлечения, анализа и усовершенствования моделей процессов. Журналы событий реальных систем ...
Добавлено: 20 октября 2014 г.
Кулагин В. П., Информатизация образования и науки 2015 № 4(28) С. 133-147
В статье рассматриваются методы построения тензоров преобразования (ТП), применяемых при анализе и синтезе сетевых моделей сложных систем, представленных в различных системах координат. Рассмотрен общий метод построения ТП, а также метод построения ТП для сетевых моделей, представленных множеством автоматно- синхронизационных сетей и в виде примитивной системы. Показано, что сложность предложенных методов построения ТП линейна и определяется ...
Добавлено: 25 февраля 2016 г.
Nesterov R.A., Mitsyuk A.A., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 285-302
В работе предложен подход для моделирования и симуляции поведения мультиагентных систем (МАС) с применением сетей Петри. МАС представляется как конечное множество сетей потоков работ. Асинхронные взаимодействия агентов описываются с помощью интерфейса, который определяется логической формулой над множеством атомарных ограничений. Эти ограничения задают порядок выполнения внутренних действий агентов. В статье рассматриваются только ациклические взаимодействия агентов. Также ...
Добавлено: 10 июля 2018 г.
Мицюк А. А., Ломазова И. А., ван дер Аалст В., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 459-480
В ходе жизненного цикла информационной системы (ИС) ее реальное поведение может перестать соответствовать исходной модели системы. Между тем для поддержки системы очень важно иметь актуальную модель, отражающую текущее поведение системы. Для корректировки модели можно использовать информацию из журнала событий системы. Журналы событий процессно-ориентированных информационных систем содержат запись истории исполнения поддерживаемых процессов в виде более или ...
Добавлено: 28 августа 2017 г.
Ермакова В. О., Ломазова И. А., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model ...
Добавлено: 21 октября 2016 г.
Гафаров Е. Р., Лазарев А. А., Вернер Ф., Mathematical Social Sciences 2011 No. 62 P. 7-13
Добавлено: 24 ноября 2012 г.
М. : National Instruments Russia, 2017
Содержание сборника составляют доклады с результатами оригинальных исследований и технических решений, ранее не публиковавшиеся. Мы надеемся, что предлагаемый сборник окажется полезным для специалистов, работающих в различных областях науки и техники, для широкого круга преподавателей, аспирантов и студентов ВУЗов, а также для преподавателей средних школ и технических колледжей. ...
Добавлено: 10 мая 2017 г.
Ясницкий Л. Н., Пермь : Пермский государственный национальный исследовательский университет. – Электронные данные. , 2020
В сборнике представлены материалы Международной конференции «Интеллектуальные системы в науке и технике» и Шестой всероссийской научно-практической конференции «Искусственный интеллект в решении актуальных социальных и экономических проблем ХХI века», которая проводилась 12–18 октября 2020 г. в г. Перми в рамках Пермского естественнонаучного форума «Математика и глобальные вызовы XXI века».
Сборник предназначен для научных и педагогических работников, преподавателей, аспирантов, магистрантов, студентов ...
Добавлено: 4 декабря 2020 г.