DISCRETE-TIME STOCHASTIC PETRI NETS

被引：78

作者：

MOLLOY, MK

机构：

来源：

关键词：

D O I：

10.1109/TSE.1985.232230

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：417 / 423

页数：7

共 23 条

[1]

AGERWALA T, 1979, IEEE COMPUTER DEC, P85

[2]

Baer J.-L., 1981, 5th International Conference on Software Engineering, P363

[3]

BELLON C, 1979, 1ST P INT C DISTR CO, P374

[4]

COTRONIS JY, 1977, 97 U NEWC UP TYN TEC

[5]

HOLT AW, 1968, RADCTR68305 ROM AIR

[6]

Howard R.A., 1971, DYNAMIC PROBABILISTI, V1

[7] FORMAL VERIFICATION OF PARALLEL PROGRAMS [J].

KELLER, RM .

[8]

LANDWEBER LH, 1978, ACM, V25, P352

[9]

MARSAN MA, 1983, OCT P PERF 83 ACM SI, P198

[10]

MELDMAN JA, 1971, JURIMETRICS J, V12