297 search results - page 7 / 60 » Validation of an agent based system using Petri Nets |
SERP
2007
14 years 12 months ago
2007
- 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...
102
click to vote
DEDS
1998
14 years 10 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
110
click to vote
SIES
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
In open distributed multi-agent systems, agents often coordinate using standardized agent communications. Thus, representing agent conversations is an important aspect of multi-age...
106
click to vote
IEEEARES
2006
IEEE
15 years 4 months ago
2006
IEEE
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...