Sciweavers

454 search results - page 1 / 91
» Modeling and analysis of multi-agent systems using petri net...
Sort
View
SERP
2007
13 years 8 months ago
Component Based Multi-Agent System Modeling and Analysis: A Case Study
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...
Jiexin Lian, Sol M. Shatz, Xudong He
CRV
2007
IEEE
124views Robotics» more  CRV 2007»
14 years 1 months ago
Petri Net-Based Cooperation In Multi-Agent Systems
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...
Yehia Thabet Kotb, Steven S. Beauchemin, John L. B...
BIRTHDAY
2010
Springer
13 years 3 months ago
QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
Samuel Kounev, Simon Spinner, Philipp Meier
IJSEKE
2008
103views more  IJSEKE 2008»
13 years 7 months ago
A Modeling Methodology for Conflict Control in Multi-Agent Systems
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
Jiexin Lian, Sol M. Shatz
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
14 years 14 days ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel