?
Автоматическое построение распределенных систем компонентов по моделям вложенных сетей Петри
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 ‘nets-within-nets’ paradigm, when tokens in a Petri nets are Petri nets themselves.
Net tokens have autonomous behavior and communicate with each other.
In the model-driven software development process building a code from a designed model is the most error-prone phase.
The paper presents an algorithm for automatic translation of NPN models of MAS into systems of distributed components.
The suggested translation respects the distributed structure of source models components, preserves some important behavioral properties (such as safety, liveness, conditional liveness), and supports the fairness of the system execution.
The translation allows automating the development of distributed multi-agent systems, based on nested Petri nets models.
A translator prototype on the basis of EJB technology was implemented and tested.