?
Simulating Petri Nets with Inhibitor and Reset Arcs
Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 4. P. 151-162.
Pavel Pertsukhov, Mitsyuk A. A.
Event logs of software systems are used to analyse their behaviour and inter-component interaction. Artificial event logs with desirable specifics are needed to test algorithms supporting this type of analysis. Recent methods allow to generate artificial event logs by simulating ordinary Petri nets. In this paper we present the algorithm generating event logs for Petri nets with inhibitor and reset arcs. Nets with inhibitor arcs are more expressive than ordinary Petri nets, and allow to conveniently model conditions in real-life software. Resets are common in real-life systems as well. This paper describes the net simulation algorithm, and shows how it can be applied for event log generation.
Keywords: simulationсимуляцияPetri netsPetri nets with reset arcsжурналы событийevent logsinhibitor arcscети Петриингибиторные дугидуги сброса
Publication based on the results of:
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
In this paper, we present an approach to model and simulate models of multi-agent systems (MAS) using Petri nets. A MAS is modeled as a set of workflow nets. The agent-toagent interactions are described by means of an interface. It is a logical formula over atomic interaction constraints specifying the order of inner agent actions. ...
Added: July 10, 2018
Begicheva A., Lomazova I. A., Modeling and Analysis of Information Systems 2015 Vol. 22 No. 3 P. 392-403
Process mining is a relatively new field of computer science, which deals with process discovery and analysis based on event logs. In this paper we consider the problem of models and event logs conformance checking. Conformance checking is intensively studied in the frame of process mining research, but only models and event logs of the ...
Added: August 5, 2015
Mitsyuk A. A., Shugurov I., Моделирование и анализ информационных систем 2014 Т. 21 № 4 С. 181-198
Process mining is a new emerging discipline related to process management, formal process models, and data mining. One of the main tasks of process mining is the model synthesis (discovery) based on the event logs. A wide range of algorithms for process model discovery, analysis, and enhancement are developed. The real-life event logs often contain ...
Added: October 20, 2014
Kalenkova A. A., Lomazova I. A., Fundamenta Informaticae 2014 Vol. 133 No. 2-3 P. 197-209
Process mining is a relatively new field of computer science which deals with process discovery and analysis based on event logs. In this work we consider the problem of discovering workflow nets with cancellation regions from event logs. Cancellations occur in the majority of real-life event logs. In spite of huge amount of process mining ...
Added: September 30, 2014
Begicheva A., Lomazova I. A., Nesterov R., / Cornell University. Series Computer Science "arxiv.org". 2023.
Process mining is a field of computer science that deals with discovery and analysis of process models based on automatically generated event logs. Currently, many companies use this technology for optimization and improving their processes. However, a discovered process model may be too detailed, sophisticated and difficult for experts to understand. In this paper, we ...
Added: March 31, 2023
Begicheva A.K., Lomazova I.A., Modeling and Analysis of Information Systems 2017 Vol. 24 No. 2 P. 125-140
Process mining is a relatively new field of computer science, which deals with process discovery and analysis based on event logs. In this paper we consider the problem of discovering a high-level business process model from a low-level event log, i.e. automatic synthesis of process models based on the information stored in event logs of ...
Added: May 6, 2017
Breyman A., Богословский Е. М., Прикаспийский журнал: управление и высокие технологии 2014 № 2 (26) С. 127-137
Event logs collected by modern information and technical systems usually contain enough data for automated process models discovery. A variety of algorithms was developed for process models discovery, conformance checking, log to model alignment, comparison of process models, etc., nevertheless a quick analysis of ad-hoc selected parts of a journal still have not get a ...
Added: February 27, 2014
Carrasquel Gamez J. C., Mecheraoui K., Modeling and Analysis of Information Systems 2021 Vol. 28 No. 2 P. 146-168
Conformance checking methods diagnose to which extent a real system, whose behavior is recorded in an event log, complies with its specification model, e.g., a Petri net. Nonetheless, the majority of these methods focus on checking isolated process instances, neglecting interaction between instances in a system. Addressing this limitation, a series of object-centric approaches have ...
Added: June 21, 2021
Zakharov V., Коннов И. В., Journal of symbolic computation 2010 Vol. 45 No. 11 P. 1144-1162
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrary number of homogeneous processes. To cope with this problem we combine an induction-based technique for invariant generation and conventional model checking of finite state systems. At the ...
Added: October 12, 2015
Switzerland : Springer, 2017
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.
The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, ...
Added: May 6, 2017
Zamyatina E., Каримов Д. Ф., Митраков А. А., Информатизация и связь 2014 № 2 С. 89-97
This paper discusses the problems of the agent-based simulation system design. It is wellknown that agent models extend the capabilities of simulation for solving some problems that can’t be solved by the methods of system dynamics and discrete event simulation. Particular attention in the design and the implementation of agent-based simulation authors pay to the ...
Added: February 20, 2015
Романов О. Ю., Лисенко О. М., Наукоємні технології 2014 Vol. 1 No. 21 P. 49-54
The comparative analysis of different approaches to modeling of networks on chip (SoC) is provided in the article. The basic directions of exploratory research topics of SoC are defined and it is shown that modeling, analysis and simulation of SoC are basical to conduct other researches.
The typical approaches to modeling of the SoC and examples ...
Added: October 31, 2014
Каз. : Издательство «Фэн» Академии наук Республики Татарстан, 2013
Шестая всероссийская научно-практическая конференция «Имитационное моделирование. Теория и практика» ИММОД-2013 состоялась в Казани (Республика Татарстан) 16-18 октября 2013 года.
Научная программа конференции включала следующие тематические направления:
- теоретические основы и методология имитационного и комплексного моделирования;
- методы оценивания качества моделей полимодельных комплексов;
- методы и системы распределенного моделирования;
- моделирование глобальных процессов;
- средства автоматизации и визуализации имитационного моделирования;
- системная динамика ...
Added: December 8, 2013
Lomazova I. A., Fundamenta Informaticae 2010 Vol. 101 No. 1-2 P. 59-70
In this work we consider modeling of workflow systems with Petri nets. To increase flexibility and give tools for workflow models re-engineering we extend the formalism of workflow nets by considering systems of interacting nets. Then we study soundness - the main correctness property of workflow processes - and show, that for a special class ...
Added: November 19, 2012
-, 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 ...
Added: June 5, 2016
Westergaard M., Fahland D., Stahl C., Transactions on Petri Nets and Other Models of Concurrency 2013 Vol. 8 P. 180-202
Grading dozens of Petri net models manually is a tedious and error-prone task. In this paper, we present Grade/CPN, a tool supporting the grading of Colored Petri nets modeled in CPN Tools. The tool is extensible, configurable, and can check static and dynamic properties. It automatically handles tedious tasks like checking that good modeling practise ...
Added: October 14, 2013
R.A. Nesterov, S.Yu. Savelyev, Proceedings of the Institute for System Programming of the RAS 2021 Vol. 33 No. 3 P. 155-170
In this paper, we present an approach to the generation of Petri nets exhibiting desired structural and behavioral properties. Given a reference Petri net, we apply a collection of local refinement transformations, which extends the internal structure of the reference model. The correctness of applying these transformations is justified via Petri net morphisms and by ...
Added: August 9, 2021
Ignatov A., Andrei Gorchakov, Open Computer Science 2020 Vol. 10 No. 1 P. 112-116
The paper describes a simulator of parallel Branch and Bound (BnB) method. Several subdomain trees for benchmark functions are analyzed, a characteristic Gaussian-like distribution is discovered. An algorithm of artificial tree generation is formulated according to this criterion. The process of simulator modeling is described, several computational experiments are conducted. Their results show a hyperbolic ...
Added: June 11, 2020
Dworzanski L. W., Formal Methods in System Design (Нидерланды, целевой журнал) 2020
The nested Petri nets (NP-nets) are a nets-within-nets formalism convenient for modelling systems that consist of distributed mobile agents with individual behaviour. The expressiveness of
the NP-nets formalism is greater than that of classical place/transition nets; and, the formalism
allows to model open multiagent systems with agents being introduced, eliminated, and cloned.
Several verification methods based on structural ...
Added: November 2, 2019
Lomazova I. A., Romanov I., Fundamenta Informaticae 2013 Vol. 128 No. 1-2 P. 129-141
In this work we consider modeling of services with workflow modules, which form a Petri net subclass. The service compatibility problem is to answer the question, whether two services fit together, i.e. whether the composed system is correct. We study complementarity of resources, produced/consumed by two services—a necessary condition for the service compatibility. Resources, which ...
Added: November 18, 2013
Isaev D., Финансовая аналитика: проблемы и решения 2015 № 20 (254) С. 2-12
The paper focuses on analysis of investments in development of performance management systems that provide information support of strategic management. Such systems do not allow estimating the results of their development in financial terms, so traditional methods of investment appraisal are inapplicable. In this case, comparison of investments with non-financial values seems reasonable. Taking into ...
Added: June 5, 2015
Dworzanski L. W., Михайлов В. Е., Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 4 P. 175-190
Well-structured transition systems (WSTS) became a well-known tool in the study of concurrency systems for proving decidability of properties based on coverability and boundedness. Each year brings new formalisms proven to be WSTS systems. Despite the large body of theoretical work on the WSTS theory, there has been a notable gap of empirical research of ...
Added: October 1, 2017
Lomazova I. A., Popova-Zeugmann L., Fundamenta Informaticae 2016 Vol. 143 No. 1-2 P. 101-112
In this paper we examine how it is possible to control Petri net behavior with the help of transition priorities. Controlling here means forcing a process to behave in a stable way by ascribing priorities to transitions and hence transforming a classic Petri net into a Priority Petri net. For Petri net models stability is ...
Added: October 12, 2015
Петров А. П., Stepantsov M. E., / Институт прикладной математики им. М.В. Келдыша Российской академии наук. 2014. № 100.
In this paper we consider construction and primary research of the stochastic cellular automaton based version of the "power-society" model, describing the dynamics of power distribution in a hierarchy. We herein formulate basic principles of the model and present a simulation system for numeric experiments. It is shown that most properties of the deterministic model ...
Added: December 17, 2014