참고문헌
- "대형 수송함(LPX) 지휘무장통제체계 체계/부체계 규격서", 국방과학연구소, LP-DSA-02000, 2004. 1
- "대형수송함(LPX) 지휘무장통제체계 전투체계데이터버스(CSDB) 주장비 개발 사양서", 국방과학연구소, LP-DSB-10100, 2003. 9
- Sheldon B. Akers, "Binary Decision Diagram", IEEE Trans. On Computers, Vol. C-27, pp. 509-516, 1978 https://doi.org/10.1109/TC.1978.1675141
- S. Rai, K. K. Aggarwal, "An Efficient Methods for Reliability Evaluation of a General Networks", IEEE Trans. on reliability, Vol. R-27, pp.206-211, 1978 https://doi.org/10.1109/TR.1978.5220325
- J. A. Abraham. "An Improved method for network reliability", IEEE Trans. on Reliability, Vol. R-28, pp.58-61, 1979 https://doi.org/10.1109/TR.1979.5220476
- S. Hariri, C. S. Raghavendra, "SYREL : A Symbolic Reliability Algorithm Based on Path and Cutset Methods", IEEE Trans. on Reliability, Vol. 36, No. 10, pp.1224 -1232. 1987
- 조병업, 박병전, "통신망의 성능 분석을 위한 신뢰성에 관한 연구", 한국정보통신연구소논문지, pp.211-222, 2001
- Malhotra, M. and Ciardo, G. and Trivedi, K. S., Dependability Modeling Using Petri-Net, IEEE Transactions on Reliability, Vol. 44, No.3, pp.428 - 440, Sept., 1995 https://doi.org/10.1109/24.406578
- K. H. Lee & J. Favrel, "Hierarchical reduction Method for Analysis and decomposition of Petri Nets", IEEE Trans. on Systems, Man and Cybernetics, Vol. SMC-15, No.2, pp.272 - 280, Mar./Apr. 1985 https://doi.org/10.1109/TSMC.1985.6313357
- M. K. Molloy, "Performance Analysis using stochastic Petri Nets", IEEE Trans. Computer, Vol. C-31, No.9, pp.913-917, Sep. 1982 https://doi.org/10.1109/TC.1982.1676110
- J. L. Peterson, Petri Net Theory and The Modeling of Systems, Englewood Cliffs, NJ : Prentice Hall, Inc., 1981
- W. M. Zuberek, "D-Timed Petri Nets and Modelling of Timeouts and Protocols", Trans. of the SCS, Vol. 4, No.4, pp.331 - 357, Oct. 1988
- G. Ciardo, J. Muppala, K. Trivedi, "Analyzing concurrent and fault-tolerant soft-ware using stochastic reward nets", J. Parallel & Distributed Computing, Vol. 15, pp.255-269, 1992 https://doi.org/10.1016/0743-7315(92)90007-A
- Ajmone-Marsan A., Balbo G., "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems", ACM Trans. Comp. Systems, Vol. 2, No.2, pp.93 -122, 1984 https://doi.org/10.1145/190.191
- J. Meyer, A. Movaghar, W. Sanders, "Stochastic activity networks Structure, behavior, and application", Int'l Workshop Petri Net and Performance Models, pp.106-115; Torino, Italy, 1985 Jul
- Aggarwal, k. k, 1988. A Fast Algorithm for the Performance Index of a Telecommunication Network. IEEE Trans. Reliability. 37 : 65-69 https://doi.org/10.1109/24.3715