Sign in
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