A Multi-agent Framework for Grid Service Workflow Embedded with Coloured Petri Nets.

Zhengli Zhai Lei Zhou Yang Yang Zhimin Tian

Published in: GCC (2005)

Keyphrases

coloured petri nets
formal verification
embedded systems
business process
workflow management systems
real time
computer vision
decision making
digital libraries
control system
control software