Model and Analysis for Transportation Information Grid System based on Colored Petri Net
Huijuan Zhao · Microcomputer Information · 2011
Transportation information grid system is based on high performance computing grid environment,provides transportation information service using grid and web service technology.Request response processes are complicated,moreover there are many partially overlapping response processes.In order to assure correctness of response process,we create hierarchical formal description model of transportation information grid system based on colored Petri net,on the basis of formal model we validate the correctness of the system design.