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

Zhuomin Du, Yanxiang He

Browse the full AINA paper archive.