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

被引：76
作者：
BRUNO, G
MARCHETTO, G
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1986年 / 12卷 / 02期
关键词：
D O I：
10.1109/TSE.1986.6312948
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：346 / 357
页数：12
相关论文
共 39 条
[1]  
ALFORD M, 1985, COMPUTER, V18, P36, DOI 10.1109/MC.1985.1662863
[2]   REQUIREMENTS ENGINEERING METHODOLOGY FOR REAL-TIME PROCESSING REQUIREMENTS [J].
ALFORD, MW .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) :60-69
[3]  
BALZER R, 1983, COMPUTER, V16, P39, DOI 10.1109/MC.1983.1654237
[4]   EXTENDABLE APPROACH TO COMPUTER-AIDED SOFTWARE REQUIREMENTS ENGINEERING [J].
BELL, TE ;
BIXLER, DC ;
DYER, ME .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) :49-60
[5]  
BIRTWISTLE GM, 1979, SIMULA BEGIN
[6]   USING ADA FOR DISCRETE EVENT SIMULATION [J].
BRUNO, G .
SOFTWARE-PRACTICE & EXPERIENCE, 1984, 14 (07) :685-695
[7]  
BRUNO G, 1985, 1985 P IEEE COMPSAC
[8]  
BRUNO G, 1985, 8TH P INT C SOFTW EN
[9]  
BRUNO G, 1985, 3RD P INT WORKSH SOF
[10]  
BRUNO G, 1983, EFFICIENCY MANUFACTU, V14, P203
1234