Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Computers in Industry
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
GRID '04 Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
In this paper, we proposed distributed and adaptive grid workflow net model. Which applies the Coloured Petri net as the formalism to describe grid process, and proposed the formal method for grid services to composite the gridflows. And also proposed the multi-agent based implementation for gridflow net model.