Abstract: Petri net with strict mathematical definitions is capacity of describing distributed computing systems communications. By being analyzed the characteristics of grid system, highly abstract concept of grid system, the place and the transition of the grid s

Key words: Grid, Colored Petri nets, Web services, Web service resource framework, Formal definition