?
Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets
P. 325–344.
Dworzanski L. W., Lomazova I. A.
Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the “nets-within-nets” approach. Due to tokens with individual behavior and the mechanism of synchronization NP-nets are convenient for modeling multi-agent and adaptive systems, flexible workflow nets, and other systems with mobile interacting components and dynamic structure. In contrast to classical Petri nets, there is still a lack of analysis methods for NP-nets. In this paper we show, that the classical Petri nets analysis technique based on place invariants can be extended to NP-nets. This paper defines place invariants of NP-nets, which link several NP-net components and allow to prove crucial behavioral properties directly from the NP-net structure. An algorithm for computing NP-net invariants is presented and illustrated with an example of EJB system verification.
Keywords: nested Petri netsвложенные сети Петриstructural analysisинвариантыанализ поведенческих свойств информационных системanalysis of behavioral properties of information systemsplace invariants
Publication based on the results of:
In book
Vol. 9698: Lecture Notes in Computer Science. , Switzerland: Springer, 2016.
Korotyaev Evgeny, Saburova N., Mathematische Annalen 2020 Vol. 337 P. 723–758
We consider a Laplacian on periodic discrete graphs. Its spectrum consists of a finite
number of bands. In a class of periodic 1-forms, i.e., functions defined on edges of
the periodic graph, we introduce a subclass of minimal forms with a minimal number
I of edges in their supports on the period. We obtain a specific decomposition of ...
Added: February 5, 2021
Ulitin B., Улитин И. Б., В кн.: Современные проблемы физического воспитания, спортивной тренировки, оздоровительной и адаптивной физической культуры. Материалы XIX Международной научно-практической конференции (Нижний Новгород, 26 ноября 2020 г.).: Нижегородский государственный университет им. Н.И. Лобачевского, 2021. С. 66–70.
Any fitness system fulfills certain modification parameters in order to be able to adapt to the requirements of different end-users. Unfortunately, the implementation of such adaptability is a time-consuming process and requires the support of distributed data systems. However, even the simplest fitness systems should be also customizable. This paper proposes an approach to designing ...
Added: February 4, 2021
Mecheraoui K., Carrasquel Gamez J. C., Lomazova I. A., , in: Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020)Vol. 2795.: CEUR Workshop Proceedings, 2020. P. 34–45.
This paper presents a compositional conformance checking approach between nested Petri nets and event logs of multi-agent systems. By projecting an event log onto model components, one can perform conformance checking between each projected log and the corresponding component. We formally demonstrate the validity of our approach proving that, to check fitness of a nested ...
Added: January 14, 2021
Mecheraoui K., Carrasquel Gamez J. C., Lomazova I. A., / Series Computer Science "arxiv.org". 2020.
This paper presents a compositional conformance checking approach between nested Petri nets and event logs of multi-agent systems. By projecting an event log onto model components, one can perform conformance checking between each projected log and the corresponding component. We formally demonstrate the validity of our approach proving that, to check fitness of a nested ...
Added: October 20, 2020
Carrasquel Gamez J. C., Lomazova I. A., Itkin I., , in: Proceedings of the MACSPro Workshop 2019Vol. 2478: CEUR Workshop Proceedings.: CEUR-WS.org, 2019. P. 92–103.
Electronic trading systems provide the computational support for stock exchanges. Liquid markets use order-driven systems, i.e., where client requests, for trading financial instruments, are served through individual orders. This paper presents Petri net models assembling some crucial processes executed within order-driven systems such as orders submission, application of precedence rules, and the order matching mechanism. ...
Added: October 14, 2019
Mitsyuk A. A., Котылев Я. В., , in: Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected PapersVol. 779: Communications in Computer and Information Science.: Springer, 2018. Ch. 11 P. 127–138.
Modern software systems can be large. They often have a complex architecture and non-trivial behaviour. That is why different modelling techniques are used for their design and analysis. Illustrative visualization of a system architecture can facilitate better analysis and give useful insights. In this paper we propose an approach for visualization of software system models. ...
Added: January 30, 2018
Ermakova V., Lomazova I. A., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115–136
Nested Petri nets (NP-nets) have proved to be one of the convenient formalisms for distributed multi-agent systems modeling and analysis. It allows representing multi-agent systems structure in a natural way, since tokens in the system net are Petri nets themselves, and have their own behavior. Multi-agent systems are highly concurrent. Verification of such systems with model ...
Added: October 21, 2016
Dworzanski L. W., Lomazova I. A., Programming and Computer Software 2016 Vol. 42 No. 5 P. 292–306
Multi-level multi-agent systems (MASs) with dynamic structure are widely used in solving important applied problems in telecommunication, transportation, social, and other systems. Therefore, ensuring correct behavior of such systems is an actual and important task. One of the most error-prone stages of system development in the framework of model-oriented approach is the implementation stage, in ...
Added: September 27, 2016
Kulagin V., , in: 2016 International Siberian Conference on Control and Communications (SIBCON). Proceedings.: M.: HSE, 2016.
This paper addresses the issue of designing control systems for parallel computing structures. Designing methodology described grounds on Petri nets to model computing systems of different dimensionality. Then a description of the Petri nets models (PN-models) vertex projection procedure, which allows constructing new models with differing structural and dynamical properties, is presented. Afterwards the existence ...
Added: September 21, 2016
Samokhvalov D., Dworzanski L. W., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 3 P. 65–84
Nested Petri net formalisms is an extension of coloured Petri net formalism that uses Petri Nets as tokens. The formalism allows creating comprehensive models of multi-agent systems, simulating, verifying and analyzing them in a formal and rigorous way. Multi-agent systems are found in many different fields — from safety critical systems to everyday networks of ...
Added: September 15, 2016
Dworzanski L. W., , in: Formal Modeling and Analysis of Timed SystemsVol. 9884.: Switzerland: Springer, 2016. Ch. 1 P. 3–18.
The nested Petri nets are a nets-within-nets formalism convenient for modelling systems that consist of distributed mobile agents with individual behaviour. The formalism is supported by developed verification methods based on structural analysis and model checking techniques. Time constraints are crucial for many safety critical and everyday IoT systems. Recently, the non Turing-complete time semantics ...
Added: September 13, 2016
Lomazova I. A., Ermakova V., , in: CEUR Workshop ProceedingsVol. 1591: Petri Nets and Software Engineering. International Workshop, PNSE'16, Torun, Poland, June 20-21, 2016. Proceedings.: CEUR Workshop Proceedings, 2016. P. 93–112.
Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the nets-within-nets approach, allowing to model systems of interacting dynamic agents in a natural way. One of the main problems in verifying of such systems is the State Explosion Problem. To tackle this problem for highly concurrent systems the unfolding method has ...
Added: June 28, 2016
СПб.: ООО «Книжный дом», 2014.
In reports discussed are the current problems related to research of languages foe specific purposes and texts (terminology, terminography, dictionaries and translation), development of structural analysis methods of text (mathematical models), the conceptions and instruments of the development of national and specific text corpuses. ...
Added: March 4, 2016
Л. В. Дворянский, И. А. Ломазова, Программирование 2016 № 5 С. 49–67
Multi-agent systems (MAS) with many levels and dynamic hierarchical structure are widely used in telecommunication, transport, social, and other fields.
Assuring correctness of such systems is an important and topical issue.
In this paper we consider modeling MAS with dynamic structure with the help of Nested Petri nets (NPNs). NPN is an extension of Petri nets within ...
Added: December 4, 2015