Multi-Agent-Systems Based on Coloured Petri Nets.
Daniel MoldtFrank WienbergPublished in: ICATPN (1997)
Keyphrases
- coloured petri nets
- multi agent systems
- formal verification
- cooperative
- autonomous agents
- multi agent
- intelligent agents
- multiagent systems
- game theory
- agents and multi agent systems
- computational logic
- agent systems
- software agents
- agent architecture
- coalition formation
- multi agent environment
- normative systems
- search algorithm
- agent technology
- distributed problem solving
- learning algorithm
- machine learning
- bayesian networks
- information retrieval
- agent oriented
- electronic commerce
- multiscale
- evolutionary algorithm
- real time
- np complete