Login / Signup
Decentralized Control of Multi-agent Systems Based on Modal Logics and Extended Higher Order Petri Nets.
Osamu Katai
Kentaro Toda
Hiroshi Kawakami
Published in:
Active Media Technology (2001)
Keyphrases
</>
petri net
modal logic
multi agent systems
decentralized control
epistemic logic
temporal logic
multiagent systems
multi agent
cooperative
colored petri nets
goal oriented
autonomous agents
fuzzy petri net
service composition
intelligent agents
software agents
model checking
decision making