454 search results - page 31 / 91 » Modeling and analysis of multi-agent systems using petri net... |
156
click to vote
TACAS
1997
Springer
15 years 6 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
101
click to vote
ACSD
2005
IEEE
15 years 3 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...
100
click to vote
EMISA
2002
Springer
15 years 1 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
116
click to vote
ESOA
2006
15 years 5 months ago
2006
Holonic Multi-Agent Systems (HMAS) are a convenient way to engineer complex and open systems. In such systems, agents have to be able to self-organize to satisfy their goals. Our w...
117
click to vote
SIMPRA
2008
15 years 1 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...