Search Results: 1 - 10 of 100 matches for " "
All listed articles are free for downloading (OA Articles)
Page 1 /100
Display every page Item
Fuzzy Timed Agent Based Petri Nets for Modeling Cooperative Multi-Robot Systems  [PDF]
Xingli HUANG, Hua XU, Peifa JIA
Int'l J. of Communications, Network and System Sciences (IJCNS) , 2009, DOI: 10.4236/ijcns.2009.29096
Abstract: A cooperative multi-robot system (CMRS) modeling method called fuzzy timed agent based Petri nets (FTAPN) is proposed in this paper, which has been extended from fuzzy timed object-oriented Petri net (FTOPN). The proposed FTAPN can be used to model and illustrate both the structural and dynamic aspects of CMRS, which is a typical multi-agent system (MAS). At the same time, supervised learning is supported in FTAPN. As a special type of high-level object, agent is introduced into FTAPN, which is used as a common modeling object in its model. The proposed FTAPN can not only be used to model CMRS and represent system aging effect, but also be refined into the object-oriented implementation easily. At the same time, it can also be regarded as a conceptual and practical artificial intelligence (AI) tool for multi-agent systems (MAS) into the mainstream practice of the software development.
General model for dynamic contract net protocol based on object-oriented Petri net

LI Dan,CHEN Li,LI Gong-li,WANG Guang-wei,

计算机应用 , 2007,
Abstract: The traditional contract net protocol model which works on bids invitation between a manager Agent and contractor Agents can successfully realize the cooperation and complete the goal task among Agents. But it also faces many problems such as the high traffic and weak general availability. Therefore, the Object-Oriented Petri net and the concept of object Agent were used to describe the dynamic contract net protocol. The analysis shows that this new model is live, concurrent and can lighten the traffic and enhance the general availability.
Colored Petri Net Based Method for the Validation of UML Pattern

Zhu XiaoxiaoDong Luming,

现代图书情报技术 , 2004,
Abstract: An approach for validation of UML based system modeling by CPN (Colored Petri Net) is described. The Object Oriented Petri net is constructed by combining object -oriented techniques with Petri net theory. In this article,the author also bring out a set of methods on how to mapping UML diagram to Object -Oriented CPN. The modeling of the O -O Petri net not only can reduce the complexity of the model, but also make the modeled system with reusability and easy maintainability.
Modeling DEDS with Object-oriented High-Level Petri Nets-Objectoriented High-Level Petri Net Models of FMS

Jiang Xusheng,

自动化学报 , 1994,
Abstract: In this paper, a new extension to Colored Petri net models (object-oriented high-level Petri nets) is presented with the following features: describing the individualities of tokens (processes) with partially-ordered sets, making the geometric and algebraic structures and operations independent of the concrete individualities of processes; covering the tokens with predicates, capable of mode ling the logical hierarchies of the set of physical events in one predicate-multisets algebra; capable of modeling complex free-path workshop system in a compact form.
Petri-Net Modeling Method of Agent''''s BDI and Its Application in Complex Logistics

ZHU Wei-feng,FEI Qi,

系统工程理论与实践 , 2004,
Abstract: The existing supply chain Petri-Net models can not describe the intelligence of autonomous entities, half-autonomous entities and dependent entities being in CL. A Petri-Net modeling method of agent's BDI(Belief-Desire-Intention) called BDIPN is proposed. BDI-BDSPN models of inventory management policy and CL are built using the combined method of BDIPN and BDSPN.
UAV collaborative tracking system modeling based on object-oriented Petri net

TAN Shen-qiang,GONG Hua-jun,WANG Biao,YANG Zhong,

计算机应用研究 , 2009,
Abstract: From discrete event system angle and based on dynamic role assignment,the paper proposed the collaboration tracking strategy that the unmanned aerial vehicle dynamic constructing the ground mobile target's tracking team during search,coadjutant,leader and idle four roles transition.Modeling the collaboration tracking system which was constructed by the unmanned aerial vehicle,the mobile target as well as the collaboration tracking strategy and studying it used the object-oriented Petri net.Using the improve...
A Petri Net Model for E-Negotiation Process

JI Shu-juan,LIANG Yong-quan,ZHAO Chun-yan,

计算机应用研究 , 2004,
Abstract: Based on the electronic negotiation process and literatures,a Petri Net model for electronic negotiation process is presented.This model combines Agent technology in AI with Petri Net,which is an analyzing and modeling tool.Moreover,the problems of dead lock and block are taken into account when designing this model.
The Semantic and Behavioral Analysis of an Object-Oriented Petri Nets Model

YANG Wu,LI Xiao-Yu,CAO Ze-Han,

计算机科学 , 2005,
Abstract: Based on the tight combination of Petri Net theory and Object-Oriented technology, a class of high-level Petri Nets named OOPN, i. e. Object-Oriented Petri Nets, is defined, with extensions to normal Petri Nets such as gates, place-token type mapping, polymorphous transitions and collective transitions. The basic definitions and graphical deno- tations are introduced. The semantic and behavioral analysis of OOPN is given. OOPN can be used as formal modeling tool for Object-Oriented System.
A Petri Net Based Multi-Agent System Behavioral Testing  [cached]
Belkacem Athamena,Zina Houhamdi
Modern Applied Science , 2012, DOI: 10.5539/mas.v6n3p46
Abstract: In Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design models. If a design model contains faults, they are passed to the generated implementations. Practical model validation techniques are required to discover and delete faults in abstract design models. In this paper, we introduce a formal approach for MAS design testing. It specifies a testing process that complements Multi-agent Systems Engineering (MaSE) methodology and strengthens the mutual relationship between UML and MAS. Besides, it defines a structured and comprehensive testing process for engineering software agents at the design level by providing a systematic way of converting the MAS design models to UML design diagram. Then a Petri Net (PN) diagram is generated from the UML models to simulate the behavior of the MAS system. Finally, because Petri Nets (PNs) are formal models, their analysis techniques can be applied to automatic MAS behavioral testing.
Modeling and Analysis of Multi-agent Systems using Petri Nets  [cached]
Jose R. Celaya,Alan A. Desrochers,Robert J. Graves
Journal of Computers , 2009, DOI: 10.4304/jcp.4.10.981-996
Abstract: The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, analysis and design of multi-agent systems. Multi-agent systems are regarded as discrete-event dynamic systems and Petri nets are used as a modeling tool to assess the structural properties of the multi-agent system. Our methodology consists of defining a simple multi-agent system based on the abstract architecture for intelligent agents. The abstract architecture is modeled using Petri nets and structural analysis of the net provides an assessment of the interaction properties of the multi-agent system. Deadlock avoidance in the multi-agent system is considered and it is evaluated using liveness and boundedness properties of the Petri net model.
Page 1 /100
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.