Modeling P2P grid information services with colored Petri nets