297 search results - page 1 / 60 » Validation of an agent based system using Petri Nets |
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
CRV
2007
IEEE
14 years 5 months ago
2007
IEEE
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...
APN
2004
Springer
14 years 4 months ago
2004
Springer
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
JIKM
2008
13 years 10 months ago
2008
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...
JAIR
2006
13 years 10 months ago
2006
Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent c...