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 [J].
MOLLOY, MK .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (04) :417-423
[24]   CASTING PETRI NETS INTO PROGRAMS [J].
NELSON, RA ;
HAIBT, LM ;
SHERIDAN, PB .
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 [J].
RAMAMOORTHY, CV ;
HO, GS .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (05) :440-449
[30]   STRUCTURED ANALYSIS (SA) - LANGUAGE FOR COMMUNICATING IDEAS [J].
ROSS, DT .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) :16-34