TIMING REQUIREMENTS FOR TIME-DRIVEN SYSTEMS USING AUGMENTED PETRI NETS

被引：71

作者：

COOLAHAN, JE ^{[1
]}

ROUSSOPOULOS, N ^{[1
]}

机构：

[1] UNIV MARYLAND,DEPT COMP SCI,COLLEGE PK,MD 20742

来源：

关键词：

D O I：

10.1109/TSE.1983.235261

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：603 / 616

页数：14

共 19 条

[1]

Agerwala, 1979, IEEE COMPUT, V12, P85

[2]

ALFORD MW, 1980, OCT P COMPSAC 80, P866

BOOTH, TL ;

WIECEK, CA .

[4]

DASARATHY B, 1982, DEC P IEEE REAL TIM

[5]

GREENE CF, 1966, RADCTR65337 ROM A S1, V1

[6]

HAN YW, 1978, OCT P NAT EL C CHIC, V32, P166

[7] SOFTWARE-DESIGN REPRESENTATION USING ABSTRACT PROCESS NETWORKS [J].

MEKLY, LJ ;

YAU, SS .

[8] MACRO E-NETS FOR REPRESENTATION OF PARALLEL SYSTEMS [J].

NOE, JD ;

NUTT, GJ .

[9]

NOE JD, 1978, OCT P NAT EL C NAT E, V32, P155

[10]

NUTT GJ, 1972, DEC P FALL JOINT COM, P279