Spatial boundedness is a property that guarantees the preservation of the finiteness of “geometric dimensions” of the active part of the system (for example, the living space) during its lifetime. This formalism is a hybrid of Petri nets and asynchronous Cellular Automata and is designed for modeling multi-agent systems with dynamic spatial structure. As a test example, translation of nested Petri nets into systems of distributed components was implemented on the basis of the EJB component technology.Ĭellular resource driven automata nets (CRDA-nets) are a generalization of the concept of two-level resource nets (Petri nets) with an introduction of an infinite regular system grid. The use of such translation makes it possible to automate construction of distributed MASs by models of nested Petri nets. The translation presented in this paper preserves distribution level and important behavioral properties (safety, liveness, and conditional liveness) of the original model and ensures fairness of the target system execution. This makes it possible to model MASs with dynamic structure in a natural way. Nested Petri nets are the extension of Petri nets in the framework of the nets-within-nets approach, which assumes that tokens in a Petri net may themselves be Petri nets, possess autonomous behavior, and interact with other tokens of the net.
This paper presents an algorithm for automated translation of MAS models represented as nested Petri nets into systems of distributed components.
#POMELLO MOBILE CODE#
One of the most error-prone stages of system development in the framework of model-oriented approach is the implementation stage, in the course of which a program code is constructed based on the model developed. Therefore, ensuring correct behavior of such systems is an actual and important task. Multi-level multi-agent systems (MASs) with dynamic structure are widely used in solving important applied problems in telecommunication, transportation, social, and other systems.
0 kommentar(er)
