SAFETY ANALYSIS USING PETRI NETS

[1] AZEMA P, 1977, JUN P FTCS7, P206

[2] AZEMA P, 1976, 13TH P DES AUT C, P109

[3] BERTHOMIEU B, 1983, 1983 P IFIP C PAR

[4] TIMING REQUIREMENTS FOR TIME-DRIVEN SYSTEMS USING AUGMENTED PETRI NETS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (05) : 603 - 616

[5] HACK MHT, 1972, MIT94 TECH REP

[6] Hammer W., 1972, HDB SYSTEM PRODUCT S

[7] KOPETZ H, 1982, JUN P FTCS12 SANT MO, P14

[8] LEVESON NG, 1984, COMPUTER FEB

[9] Merlin P. M., 1974, A study of the recoverability of computing systems

[10] RECOVERABILITY OF COMMUNICATION PROTOCOLS - IMPLICATIONS OF A THEORETICAL-STUDY [J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1976, 24 (09) : 1036 - 1043

[1] AZEMA P, 1977, JUN P FTCS7, P206

[2] AZEMA P, 1976, 13TH P DES AUT C, P109

[3] BERTHOMIEU B, 1983, 1983 P IFIP C PAR

[4] TIMING REQUIREMENTS FOR TIME-DRIVEN SYSTEMS USING AUGMENTED PETRI NETS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (05) : 603 - 616

[5] HACK MHT, 1972, MIT94 TECH REP

[6] Hammer W., 1972, HDB SYSTEM PRODUCT S

[7] KOPETZ H, 1982, JUN P FTCS12 SANT MO, P14

[8] LEVESON NG, 1984, COMPUTER FEB

[9] Merlin P. M., 1974, A study of the recoverability of computing systems

[10] RECOVERABILITY OF COMMUNICATION PROTOCOLS - IMPLICATIONS OF A THEORETICAL-STUDY [J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1976, 24 (09) : 1036 - 1043