?
Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)
Vol. 2651: CEUR Workshop Proceedings.
CEUR-WS.org, 2020.
Научный редактор: M. Köhler-Bussmeier, E. Kindler, H. Rölke
Bernardinello L., Ломазова И. А., Нестеров Р. А. и др., , in : Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020). Vol. 2651: CEUR Workshop Proceedings.: CEUR-WS.org, 2020. P. 49-67.
Добавлено: 12 августа 2020 г.
Карраскель Г. Х., Ломазова И. А., Rivkin A., , in : Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020). Vol. 2651: CEUR Workshop Proceedings.: CEUR-WS.org, 2020. P. 118-137.
Добавлено: 19 октября 2020 г.
Приоритетные направления:
компьютерно-математическое
Язык:
английский
CEUR Workshop Proceedings, 2016
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’16) in Torun, Poland, June 20–21, 2016. It is a co-located event of • Petri Nets 2016 – the 37th International Conference on Applications and Theory of Petri Nets and Concurrency and • ACSD 2016 – the 16th International Conference on ...
Добавлено: 27 июня 2016 г.
[б.и.], 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 2014 Vol. 133 No. 2-3 P. 197-209
Добавлено: 30 сентября 2014 г.
EasyChair, 2014
This volume contains the papers to be presented at VPT 2014: Second International Workshop on Verification and Program Transformation to be held on July 17-18, 2014 in Vienna. The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014. ...
Добавлено: 10 августа 2014 г.
ван дер Аалст В., Distributed and Parallel Databases 2013 Vol. 31 No. 4 P. 471-507
The practical relevance of process mining is increasing as more and more event data become available. Process mining techniques aim to discover, monitor and improve real processes by extracting knowledge from event logs. The two most prominent process mining tasks are: (i) process discovery: learning a process model from example behavior recorded in an event ...
Добавлено: 14 ноября 2013 г.
Torun : CEUR Workshop Proceedings, 2016
The The workshop first took place in 2015 as a succession of the Applications of Region Theory (ART) workshop series. After the success of the initial workshop, it is only natural to bring together researchers working on region-based synthesis and process mining again. The ATAED'2016 workshop took place in Torun on June 20-21, 2016 and ...
Добавлено: 30 июня 2016 г.
N. S. Zubkova, S. A. Shershakov, Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 4 P. 139-150
Добавлено: 28 октября 2019 г.
-, 2016
The issue contains papers accepted for presentation at the 10th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2016) held in Krasnovidovo, Mozhaysky District, Moscow Oblast, Russia on May 30-June 1, 2016. The paper selection was based on originality and contributions to the field. Each paper was peer-reviewed by at least three referees.
The colloquium’s topics ...
Добавлено: 5 июня 2016 г.
Карраскель Г. Х., Ломазова И. А., / Cornell University. Series Computer Science "arxiv.org". 2022.
Добавлено: 1 ноября 2022 г.
Каленкова А. А., ван дер Аалст В., Ломазова И. А. и др., Software and Systems Modeling 2017 Vol. 16 No. 4 P. 1019-1048
Добавлено: 11 июня 2015 г.
Мицюк А. А., Шугуров И. С., Automatic Control and Computer Sciences 2016 Vol. 50 No. 7 P. 460-470
Извлечение процессов (process mining) – новая и активно развивающаяся область исследований, тесно связанная с управлением процессами, формальными моделями процессов и извлечением данных (data mining). Одна из основных задач извлечения процессов – синтез (извлечение) модели процесса на основании анализа журнала событий. Разработан широкий спектр алгоритмов для извлечения, анализа и усовершенствования моделей процессов. Журналы событий реальных систем ...
Добавлено: 10 октября 2016 г.
Begicheva A.K., Lomazova I.A., Modeling and Analysis of Information Systems 2017 Vol. 24 No. 2 P. 125-140
Добавлено: 6 мая 2017 г.
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 г.
Мицюк А. А., Шугуров И. С., Моделирование и анализ информационных систем 2014 Т. 21 № 4 С. 181-198
Извлечение процессов (process mining) -- новая и активно развивающаяся область исследований, тесно связанная с управлением процессами, формальными моделями процессов и извлечением данных (data mining). Одна из основных задач извлечения процессов -- синтез (извлечение) модели процесса на основании анализа журнала событий. Разработан широкий спектр алгоритмов для извлечения, анализа и усовершенствования моделей процессов. Журналы событий реальных систем ...
Добавлено: 20 октября 2014 г.
Мицюк А. А., Ломазова И. А., ван дер Аалст В., Automatic Control and Computer Sciences 2017 Vol. 51 No. 7 P. 709-723
Добавлено: 1 декабря 2017 г.
Вестергаард М., Fahland D., Stahl C., Transactions on Petri Nets and Other Models of Concurrency 2013 Vol. 8 P. 180-202
Добавлено: 14 октября 2013 г.
Бегичева А. К., Ломазова И. А., Нестеров Р. А., / Cornell University. Series Computer Science "arxiv.org". 2023.
Добавлено: 31 марта 2023 г.
Мицюк А. А., Ломазова И. А., ван дер Аалст В., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 459-480
В ходе жизненного цикла информационной системы (ИС) ее реальное поведение может перестать соответствовать исходной модели системы. Между тем для поддержки системы очень важно иметь актуальную модель, отражающую текущее поведение системы. Для корректировки модели можно использовать информацию из журнала событий системы. Журналы событий процессно-ориентированных информационных систем содержат запись истории исполнения поддерживаемых процессов в виде более или ...
Добавлено: 28 августа 2017 г.
Ермакова В. О., Ломазова И. А., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model ...
Добавлено: 21 октября 2016 г.
M. : -, 2016
Добавлено: 14 сентября 2016 г.
Mecheraoui K., Карраскель Г. Х., Ломазова И. А., / Cornell University. Series Computer Science "arxiv.org". 2020.
Добавлено: 20 октября 2020 г.
Бегичева А. К., Ломазова И. А., Modeling and Analysis of Information Systems 2015 Vol. 22 No. 3 P. 392-403
Process mining – это технология, которая посредством извлечения данных из журнала событий предоставляет различные методы для исследования реального процесса, его улучшения и контроля над ним. В данной статье мы рассматриваем проблему проверки соответствия между высокоуровневой моделью процесса и журналом событий. Проверка соответствия интенсивно изучается в рамках process mining, но в литературе можно найти только методы, ...
Добавлено: 5 августа 2015 г.
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 г.
В.А. Башкин, И.А. Ломазова, Cybernetics and Systems Analysis 2011 № 2 С. 31-39
Рассматривается проблема моделирования мультиагентных систем с бесконечным множеством состояний. Исследуются формализмы, основанные на обобщении сетей активных ресурсов. Определены новые способы моделирования: параметризованные АР-сети, двухуровневые АР-схемы и двухуровневые АР-сети. Показано, что эти формализмы обладают удобным синтаксисом для моделирования мультиагентных систем, в том числе систем со сложной модульной или иерархической структурой. Доказано, что параметризованные АР-сети и двухуровневые ...
Добавлено: 19 марта 2011 г.