Modeling Grid Workflow by Coloured Grid Service Net

1. Boström, P., Waldén, M.: Development of Fault Tolerant Grid Applications Using Distributed B. Integrated Formal Methods, 167-186 (2005)

   Google Scholar 

2. Bassiliades, N., Anagnostopoulos, D., Vlahavas, I.: Web Service Composition Using a Deductive XML Rule Language. Distributed and Parallel Databases 17, 135–178 (2005)

   Article  Google Scholar 

3. van der Aalst, W.M.P.: Process-oriented architectures for electronic commerce and interorganizational workflow. Information Systems 24, 639–671 (1999)

   Article  Google Scholar 

4. Bacarin, E., van der Aalst, W.M.P., Madeira, E., Medeiros, C.B.: Towards Modeling and Simulating a Multi-party Negotiation Protocol with Colored Petri Nets. In: Jensen, K. (ed.) Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2007), Aarhus, Denmark. DAIMI, vol. 584, pp. 29–48 (2007)

   Google Scholar 

5. Gao, L., Ding, Y.: A Flexible Communication Scheme to Support Grid Service Emergence. In: Gervasi, O., Gavrilova, M.L., Kumar, V., Laganá, A., Lee, H.P., Mun, Y., Taniar, D., Tan, C.J.K. (eds.) ICCSA 2005. LNCS, vol. 3482, pp. 69–78. Springer, Heidelberg (2005)

   Google Scholar 

6. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77, 541–580 (1989)

   Article  Google Scholar 

7. Smith, R.G.: The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. Transactions on Computers C-29, 1104–1113 (1980)

   Article  Google Scholar 

8. Bauer, B., Muller, J.P., Odell, J.: Agent UML: A formalism for specifying multiagent interaction. In: Cuabcarubu, P., Wooldridge, M. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 91–103. Springer, Heidelberg (2002)

   Google Scholar 

9. Mauw, S., Reniers, M.A.: An algebraic semantics of basic message sequence charts. The Computer Journal 37, 269–277 (1994)

   Article  Google Scholar 

10. Benatallah, B., Dumas, M., Maamar, Z.: Definition and execution of composite web services: The SELFSERV project. Bulletin of IEEE TC on Data Engineering 25, 47–52 (2002)

    Google Scholar 

11. Lee, R.M.: INTERPROCS: a Java-based prototyping environment for distributed electronic trade procedures. In: Thirty-First Hawaii International Conference on System Sciences, vol. 4, pp. 202–209 (1998)

    Google Scholar 

12. Jensen, K., Kristensen, L., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer (STTT) 9, 213–254 (2007)

    Google Scholar 

13. Choi, I., Park, C., Lee, C.: Task net: Transactional workflow model based on colored Petri net. European Journal of Operational Research 136, 383–402 (2002)

    Article  MATH  Google Scholar 

14. Bo, C., Liu, Q., Yang, G.: Distributed Gridflow Model and Implementation. In: Jin, H., Reed, D., Jiang, W. (eds.) NPC 2005. LNCS, vol. 3779, pp. 84–87. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

15. van der Aalst, W.M.P., Bakker, P.J.M., Moleman, A.J., Lassen, K.B., Jørgensen, J.B.: From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. In: Jensen, K. (ed.) Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2007), Aarhus, Denmark. DAIMI, vol. 584, pp. 187–206 (2007)

    Google Scholar 

16. Tang, F., Li, M., Huang, J.Z.: Real-time transaction processing for autonomic Grid applications. Engineering Applications of Artificial Intelligence 17, 799–807 (2004)

    Article  Google Scholar 

17. Cao, H., Jin, H., Wu, S., Tao, Y.: PGWFT: A Petri Net Based Grid Workflow Verification and Optimization Toolkit. In: Wu, S., Yang, L.T., Xu, T.L. (eds.) GPC 2008. LNCS, vol. 5036, pp. 48–58. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

Download references