Grid Workflow Service Composition Based on Colored Petri Net
Zenggang Xiong, Zhengli Zhai, Xuemin Zhang, Xuewen Xia · International Journal of Digital Content Technology and its Applications · 2011
This paper presents a model of grid workflow service composition based on colored Petri net that can represent complex session protocols and the component service composition, using token of color of colored Petri net to simulate the different events and message types of business processes. The service session agreement and the grid workflow service composition are converted to colored Petri net, which can make use of the specialized tools of existing Petri net to analyze and verify system performance and behavior properties, thereby enhancing the reliability of the grid workflow service composition.