Modeling of the Grid system node behavior based on Petri nets

被引：0

作者：

Shelestov, A. Yu. ^{[1
,2
]}

机构：

[1] Natl Acad Sci Ukraine, Inst Space Res, Kiev, Ukraine

[2] Natl Space Agcy Ukraine, Kiev, Ukraine

来源：

JOURNAL OF AUTOMATION AND INFORMATION SCIENCES | 2008年 / 40卷 / 02期

关键词：

Grid system; Petri net; incidence matrix; TSS-algorithm; bounded network; mutex; fairness; deadlock free;

D O I：

10.1615/JAutomatInfScien.v40.i2.40

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A computational node of the Grid system was investigated via Petri net approach. The model of node operation was constructed and its structural properties were investigated. In particular, it was shown that the network constructed was bounded, alive and did not have inaccessible places. For the network constructed was performed the feasibility analysis of mutex and fairness properties.

引用

页码：41 / 51

页数：11