PROCESS-TRANSLATABLE PETRI NETS FOR THE RAPID PROTOTYPING OF PROCESS-CONTROL SYSTEMS

被引：76

作者：

BRUNO, G

MARCHETTO, G

机构：

来源：

关键词：

D O I：

10.1109/TSE.1986.6312948

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：346 / 357

页数：12

共 39 条

[21] MARSAN MA, 1984, ACM T COMPUT SYST, V2, P93, DOI 10.1145/190.191
[22] MARSAN MA, 1984, 1ST P INT C MOD TECH
[23] DISCRETE-TIME STOCHASTIC PETRI NETS
MOLLOY, MK
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (04) : 417 - 423
[24] CASTING PETRI NETS INTO PROGRAMS
NELSON, RA
HAIBT, LM
SHERIDAN, PB
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (05) : 590 - 602
[25] PEDGEN DC, 1979, SIMULATION, V33, P145
[26] Peterson J. L., 1981, PETRI NET THEORY MOD
[27] PRITSKER A, 1979, MODELLING ANAL USING
[28] PRITSKER AAB, 1974, GASP 4 SIMULATION LA
[29] PERFORMANCE EVALUATION OF ASYNCHRONOUS CONCURRENT SYSTEMS USING PETRI NETS
RAMAMOORTHY, CV
HO, GS
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (05) : 440 - 449
[30] STRUCTURED ANALYSIS (SA) - LANGUAGE FOR COMMUNICATING IDEAS
ROSS, DT
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) : 16 - 34