297 search results - page 28 / 60 » Validation of an agent based system using Petri Nets |
76
Voted
DALT
2007
Springer
15 years 5 months ago
2007
Springer
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...
82
Voted
IJFCS
2011
14 years 5 months ago
2011
some studies linked the computational power of abstract computing systems based on multiset rewriting to Petri nets and the computation power of these nets to pology. In turn, the ...
84
Voted
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
110
click to vote
JOT
2010
14 years 9 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
129
Voted
AGTIVE
2007
Springer
15 years 2 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...