|
|
计算机科学 2008
Formal Definition of Grid System Based on Petri Nets
|
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 system are constructed based on Petri net theory,the formal definition of the grid system is presented with colored Petri nets,and related concepts are discussed.
