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

[31] STRUCTURED ANALYSIS FOR REQUIREMENTS DEFINITION [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) : 6 - 15

[32] ROSS DT, 1985, COMPUTER, V18, P25, DOI 10.1109/MC.1985.1662862

[33] PSL-PSA - COMPUTER-AIDED TECHNIQUE FOR STRUCTURED DOCUMENTATION AND ANALYSIS OF INFORMATION-PROCESSING SYSTEMS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) : 41 - 48

[34] USING PREDICATE-TRANSITION-NETS TO MODEL AND ANALYZE DISTRIBUTED DATABASE-SYSTEMS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (06) : 539 - 544

[35] WEGNER P, 1984, IEEE SOFTWARE JUL, P24

[36] YAU S, 1983, IEEE T SOFTWARE ENG, V6, P733

[37] AN OPERATIONAL APPROACH TO REQUIREMENTS SPECIFICATION FOR EMBEDDED SYSTEMS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (03) : 250 - 269

[38] THE OPERATIONAL VERSUS THE CONVENTIONAL APPROACH TO SOFTWARE-DEVELOPMENT [J]. COMMUNICATIONS OF THE ACM, 1984, 27 (02) : 104 - 118

[39] 1983, ANSIMILSTD1815A

[31] STRUCTURED ANALYSIS FOR REQUIREMENTS DEFINITION [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) : 6 - 15

[32] ROSS DT, 1985, COMPUTER, V18, P25, DOI 10.1109/MC.1985.1662862

[33] PSL-PSA - COMPUTER-AIDED TECHNIQUE FOR STRUCTURED DOCUMENTATION AND ANALYSIS OF INFORMATION-PROCESSING SYSTEMS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) : 41 - 48

[34] USING PREDICATE-TRANSITION-NETS TO MODEL AND ANALYZE DISTRIBUTED DATABASE-SYSTEMS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (06) : 539 - 544

[35] WEGNER P, 1984, IEEE SOFTWARE JUL, P24

[36] YAU S, 1983, IEEE T SOFTWARE ENG, V6, P733

[37] AN OPERATIONAL APPROACH TO REQUIREMENTS SPECIFICATION FOR EMBEDDED SYSTEMS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (03) : 250 - 269

[38] THE OPERATIONAL VERSUS THE CONVENTIONAL APPROACH TO SOFTWARE-DEVELOPMENT [J]. COMMUNICATIONS OF THE ACM, 1984, 27 (02) : 104 - 118

[39] 1983, ANSIMILSTD1815A