scholarly journals Coverability, Termination, and Finiteness in Recursive Petri Nets

2022 ◽  
Vol 183 (1-2) ◽  
pp. 33-66
Author(s):  
Alain Finkel ◽  
Serge Haddad ◽  
Igor Khmelnitsky
Keyword(s):  
Petri Nets ◽  
Point Of View ◽  
Recursive Algorithms ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Extended Petri Nets ◽  
Multi Agent ◽  
Almost All ◽  
Primitive Recursive ◽  
Context Free

In the early two-thousands, Recursive Petri nets have been introduced in order to model distributed planning of multi-agent systems for which counters and recursivity were necessary. Although Recursive Petri nets strictly extend Petri nets and context-free grammars, most of the usual problems (reachability, coverability, finiteness, boundedness and termination) were known to be solvable by using non-primitive recursive algorithms. For almost all other extended Petri nets models containing a stack, the complexity of coverability and termination are unknown or strictly larger than EXPSPACE. In contrast, we establish here that for Recursive Petri nets, the coverability, termination, boundedness and finiteness problems are EXPSPACE-complete as for Petri nets. From an expressiveness point of view, we show that coverability languages of Recursive Petri nets strictly include the union of coverability languages of Petri nets and context-free languages. Thus we get a more powerful model than Petri net for free.

Сase-systems for development of multiagent system (MAS) in the system of diagnostics and maintenance of vehicles

2021 ◽  
Vol 13 (1) ◽  
pp. 87-93
Author(s):  
Viacheslav Pavlenko ◽  
◽  
Volodymyr Manuylov ◽  
Volodymyr Kuzhel ◽  
◽  
...  
Keyword(s):  
Comparative Analysis ◽  
Technical Condition ◽  
Point Of View ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Software Products ◽  
Multi Agent ◽  
Software Code ◽  
Low Performance ◽  
Intelligent Methods

The article provides a comparative analysis of existing software products and libraries that allow the design of multi-agent systems for diagnostics and maintenance systems for modern cars. The authors substantiate two main shortcomings inherent in all products - analogues: the need for high qualification of the user as a software code developer, and low performance of intelligent methods in the structure of agents, which worsens their performance. Both manufacturers and car owners are objectively interested in the widespread use of telematics systems for monitoring the technical condition of cars. Predictive diagnostics gives them access to a huge amount of information about all the nuances of car operation, wherever they are, during the entire service life. The application of this approach using a multi-agent system (MAS) will allow taking the next step in this direction. Information from the connected vehicles goes to the main server. Systematization and analysis of data make it possible to establish the causes of malfunctions, identify patterns of their occurrence and make further predictions. Purpose of the work: to perform a comparative analysis of existing software products and libraries that allow the design of multi-agent systems. The topic of the work is disclosed on the example of the analysis of software tools for the development and design of MAS at the present stage. There are a number of systems and libraries on the market designed for the development of multi-agent systems. These Case - systems are suitable for the development of multi-agent systems of any direction, that is, they are universal from this point of view. Therefore, for us it is a universal application tool for the automotive industry. Ultimately, the work performed a comparative analysis of existing software products and libraries that allow the design of multi-agent systems. The analysis revealed two main drawbacks inherent in all products - analogs: the need for high user qualifications as a developer of software code, and low indicators of the possibilities of introducing intelligent methods into the structure of agents, worsens the indicators of their work.

Towards a Context Definition for Multi-Agent Systems

2011 ◽  
pp. 286-307
Author(s):  
Tarek Ben Mena ◽  
Narjès Bellamine-Ben Saoud ◽  
Mohamed Ben Ahmed ◽  
Bernard Pavard
Keyword(s):  
Information Retrieval ◽  
Knowledge Building ◽  
Point Of View ◽  
Multi Agent Systems ◽  
Context Model ◽  
Agent Systems ◽  
Research Fields ◽  
Present Context ◽  
Multi Agent ◽  
Abstract Notion

This chapter aims to define context notion for multi-agent systems (MAS). Starting from the state of the art on context in different disciplines, we present context as a generic and abstract notion. We argue that context depends on three characteristics: domain, entity, and problem. By specifying this definition with MAS, we initially consider context from an extensional point of view as three components—actant, role, and situation—and then from an intensional one, which represents the context model for agents in MAS which consist of information on environment, other objects, agents, and relations between them. Therefore, we underline a new way of representing agent knowledge, building context on this knowledge, and using it. Furthermore, we prove the applicability of contextual agent solution for other research fields, particularly in personalized information retrieval by taking into account as agents: crawlers and as objects: documents.

Multi-Agent Control System for the Movement of Uniaxial Objects

2015 ◽  
Vol 237 ◽  
pp. 183-188
Author(s):  
Mirosław Mrozek
Keyword(s):  
Control System ◽  
Point Of View ◽  
Multi Agent Systems ◽  
Control Groups ◽  
Agent Systems ◽  
Multi Agent ◽  
Agent Control ◽  
Classical Control ◽  
And Control ◽  
Multi Agents

Multi-agent systems are used mainly in IT solutions and control groups of robots. From the point of view of classical control architectures, they are a kind of distributed systems in which nodes perform advanced algorithms, usually associated with the technology of artificial intelligence, and they can be considered as agents. The article describes the multi-agents control system of objects of uniaxial movements. An example of such a system to control a repository with movable racks with electric motors is presented. Each rack acts as an agent through the implemented control of the resources of embedded microcontrollers. Such a system provides high quality control, guaranteeing long-lasting, trouble-free operation while maintaining the safety of both service and stored items.

Modular Modelling for Urban Traffic Networks based on Multi-Agent Systems and Petri Nets

2018 ◽  
Author(s):  
M. Flores-Geronimo ◽  
E.G. Hernandez-Martinez ◽  
E.D. Ferreira-Vazquez ◽  
J.J. Flores-Godoy ◽  
G. Fernandez-Anaya
Keyword(s):  
Petri Nets ◽  
Urban Traffic ◽  
Traffic Networks ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
Modular Modelling ◽  
Urban Traffic Networks

scholarly journals The role of agent-based modeling and multi-agent systems in flood-based hydrological problems: a brief review

2019 ◽  
Vol 11 (4) ◽  
pp. 1580-1602 ◽  
Author(s):  
Jose Simmonds ◽  
Juan A. Gómez ◽  
Agapito Ledezma
Keyword(s):  
Information And Communication Technologies ◽  
Hydrological Cycle ◽  
Point Of View ◽  
Multi Agent Systems ◽  
Agent Based ◽  
Spatial And Temporal Scales ◽  
Agent Systems ◽  
Multi Agent ◽  
Complex Phenomena ◽  
Data Driven Modeling

Abstract Flood problems are complex phenomena with a direct relationship with the hydrological cycle; these are natural processes occurring in water systems, that interact at different spatial and temporal scales. In modeling the hydrological phenomena, traditional approaches, like physics-based mathematical equations and data-driven modeling (DDM) are used. Advances in hydroinformatics are helping to understand these physical processes, with improvements in the collection and analysis of hydrological data, information and communication technologies (ICT), and geographic information systems (GIS), offering opportunities for innovations in model implementation, to improve decision support for the response to societally important floods impacting our societies. This paper offers a brief review of agent-based models (ABMs) and multi-agent systems (MASs) methodologies' applications for solutions to flood problems, their management, assessment, and efforts for forecasting stream flow and flood events. Significant observations from this review include: (i) contributions of agent technologies, as a growing methodology in hydrology; (ii) limitations; (iii) capabilities of dealing with distributed and complex domains; and (iv), the capabilities of MAS as an increasingly accepted point of view applied to flood modeling, with examples presented to show the variety of system combinations that are practical on a specialized architectural level for developing and deploying sophisticated flood forecasting systems.

Modeling and Analysis of Multi-agent Systems using Petri Nets

2009 ◽  
Vol 4 (10) ◽  
Author(s):  
Alan A. Desrochers ◽  
Jose R. Celaya ◽  
Robert J. Graves
Keyword(s):  
Petri Nets ◽  
Multi Agent Systems ◽  
Modeling And Analysis ◽  
Agent Systems ◽  
Multi Agent

TOWARDS THE DEVELOPMENT OF AGENT-BASED ORGANIZATIONS THROUGH MDD

2013 ◽  
Vol 22 (02) ◽  
pp. 1350002 ◽  
Author(s):  
JORGE AGÜERO ◽  
CARLOS CARRASCOSA ◽  
MIGUEL REBOLLO ◽  
VICENTE JULIÁN
Keyword(s):  
Virtual Organization ◽  
Point Of View ◽  
Multi Agent Systems ◽  
Extensive Experience ◽  
Agent Based ◽  
Agent Systems ◽  
Model Driven ◽  
Generic Agent ◽  
Multi Agent ◽  
Model Driven Approach

Virtual Organizations are a mechanism where agents can demonstrate their social skills since they can work in a cooperative and collaborative way. Nonetheless, the development of organizations using Multi-Agent Systems (MAS) requires extensive experience in different methodologies and platforms. Model-Driven Development (MDD) is a technique for generating application code that is developed from basic models and meta-models using a variety of automatic transformations. This paper presents an approach to develop and deploy organization-oriented Multi-Agent Systems using a model-driven approach. Based on this idea, we introduce a relatively generic agent-based meta-model for a Virtual Organization, which was created by a comprehensive analysis of the organization-oriented methodologies used in MAS. Following the MDD approach, the concepts and relationships obtained were mapped into two different platforms available for MAS development, allowing the validation of our proposal. In this way, the resultant approach can generate Virtual Organization deployments from unified meta-models, facilitating the development process of agent-based software from the user point of view.

scholarly journals Agent belongings to several systems: axioms, reflexivity, forecasting

2020 ◽  
Vol 30 (1) ◽  
pp. 24-29
Author(s):  
M. Yu. Babich ◽  
V. E. Kuznetsov ◽  
A. M. Babich
Keyword(s):  
Decision Maker ◽  
Point Of View ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Interstate Conflicts ◽  
Multi Agent ◽  
The Way

The multi-agent systems involved in the conflict and the agents belonging to them are considered. The concept of a super-system is introduced. The axioms of agents belonging to several systems with mismatching goals are introduced for agents, multi-agent systems and super-systems. The objective is to determine the way the introduced axioms affect the studied processes. The theory of reflexive control of conflicting systems is considered. The concepts of stratagem, simulacrum as well as the nudge technology are analyzed. The tasks of forecasting interstate conflicts are considered. It is shown how the formulation of such forecasting problems changes in case the affiliation of systems (states) to various super-systems (coalitions) is taken into account. The introduced axioms offer a new point of view on forecasting tasks. It is proved that the advantage in the conflict belongs to the system in which the decision-maker, with equal degrees of reflection, has more information about the systems that include agents.

Sign in / Sign up

Export Citation Format

Share Document