297 search results - page 47 / 60 » Validation of an agent based system using Petri Nets |
126
click to vote
ATVA
2006
Springer
15 years 2 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
103
click to vote
MICAI
2005
Springer
15 years 4 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
CEEMAS
2005
Springer
15 years 4 months ago
2005
Springer
Adversariality of the agents with respect to the multi-agent system can be a serious issue in the design of open multi-agent systems. Until now, many incoherent definitions of suc...
107
click to vote
FMSB
2008
15 years 6 days ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
EDOC
2006
IEEE
15 years 4 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...