1. Andreozzi, S., Sgaravatto, M., Vistoli, M.C.: Sharing a Conceptual Model of Grid Resources and Services. CoRR, cs.DC/0306111 (2003)
2. Bratosin, C., van der Aalst, W.M.P., Sidorova, N.: Modeling Grid Workflows with Colored Petri Nets. In: Proc. Workshop on the Practical Use of Coloured Petri Nets and CPN Tools, pp. 67–86. Aarhus University - DAIMI-PB 584 (2007)
3. Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)
4. CPN Tools Homepage,
http://www.cpntools.org
5. Dalheimer, M., Pfreundt, F., Merz, P.: Formal Verification of a Grid Resource Allocation Protocol. In: Proc. of CCGRID 2008, pp. 332–339. IEEE, Los Alamitos (2008)