Search. Read. Cite.

Easy to search. Easy to read. Easy to cite with credible sources.

Information Technology Journal

Year: 2006  |  Volume: 5  |  Issue: 5  |  Page No.: 833 - 841

Towards a Formal Model for Grid Architecture via Petri Nets

Yuyue Du, Changjun Jiang and Yubin Guo


Grid computing enables the virtualization of distributed computing and data resources to create a single system image, granting users and applications seamless access to vast IT capabilities. Grid architecture is a new software environment that developed to furnish users with grid computing platform that applications can access distributed resources through a well controlled, secure and mutually fair way. In this study a formal model based on Logical Petri Nets (LPNs) for grid architecture is proposed. Using this model, both static structure and dynamic behavior can be simulated and analyzed. The LPN model of grid architecture is constructed and causality relationship between the actions of grid components can be explicitly described. Based on this model, main properties of this grid structure is analyzed and verified formally.

Cited References Fulltext