Grid node modeling based on Petri networks
AbstractThe node of Grid system was investigated using the Petri network approach. A model of the working node was constructed and its structural properties were investigated. In particular, it is shown that the constructed network is bounded, alive and free of inaccessible places. Analysis of the mutex and fairness properties was performed for the model.
Progressive information technologies, high-efficiency computer systems