Plan Specification of Multi-agent based on Coloured Petri Nets.

Zhuomin Du Yanxiang He

Published in: AINA (2) (2006)

Keyphrases

coloured petri nets
formal verification
model checking
plan recognition
high level
planning domains
formal specification
ai planning
plan execution
plan generation
agent technology
databases
user defined
expert systems
multi agent systems
specification language
case study
genetic algorithm