참고문헌
- Tadao Murata, Petri nets: properties, analysis and applications, Proc. IEEE 77 (1989) 541-580, 4. https://doi.org/10.1109/5.24143
- Jana Siebert, Dario Petri, Michele Fedrizzi, From measurement to decision: sensitivity of decision outcome to input and model uncertainties, IEEE Trans. Instrum. Meas. 68 (2018) 3100-3108, 9.
- Gaowei Xu, et al., Online fault diagnosis method based on transfer convolutional neural networks, IEEE Trans. Instrum. Meas. 69 (2019) 509-520, 2. https://doi.org/10.1109/TIM.2019.2902003
- Lalit Kumar Singh, Gopika Vinod, A.K. Tripathi, Design verification of instrumentation and control systems of nuclear power plants, IEEE Trans. Nucl. Sci. 61 (2014) 921-930, 2. https://doi.org/10.1109/TNS.2014.2305656
- Zhuo Su, et al., MDD: A Unified Model-Driven Design Framework for Embedded Control Software, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41 (10) (2021) 3252-3265, https://doi.org/10.1109/TCAD.2021.3132564. In this issue.
- Lalit Kumar Singh, Hitesh Rajput, Dependability analysis of safety critical realtime systems by using Petri nets, IEEE Trans. Control Syst. Technol. 26 (2017) 415-426, 2. https://doi.org/10.1109/TCST.2017.2669147
- Nand Kumar Jyotish, Lalit Kumar Singh, Chiranjeev Kumar, A state-of-the-art review on performance measurement petri net models for safety critical systems of NPP, Ann. Nucl. Energy 165 (2022), 108635.
- Pooja Singh, Lalit Kumar Singh, Reliability and safety engineering for safety critical systems: an interview study with industry practitioners, IEEE Trans. Reliab. 70 (2021) 643-653, 2. https://doi.org/10.1109/TR.2021.3051635
- Kaiyuan Guo, et al., Angel-eye: a complete design flow for mapping CNN onto embedded FPGA, IEEE Trans. Comput. Aided Des. Integrated Circ. Syst. 37 (2017) 35-47, 1.
- Pooja Singh, Lalit Kumar Singh, Modeling and measuring common cause failures in measurement of reliability of nuclear power plant systems, IEEE Trans. Instrum. Meas. 70 (2021) 1-8.
- Ricardo J. Rodriguez, A Petri net tool for software performance estimation based on upper throughput bounds, Autom. Software Eng. 24 (2017) 73-99, 1. https://doi.org/10.1007/s10515-015-0186-2
- Pramod Kumar, Lalit Kumar Singh, Chiranjeev Kumar, Performance evaluation of safety-critical systems of nuclear power plant systems, Nucl. Eng. Technol. 52 (2020) 560-567, 3. https://doi.org/10.1016/j.net.2019.08.018
- Lingzhi Xia, et al., Performance evaluation of a new signal processing system design to improve CANDU SDS1 trip response during large break LOCA events, J. Nucl. Sci. Technol. 53 (2016) 1513-1520, 10. https://doi.org/10.1080/00223131.2015.1128856
- Bo Wook Rhee, et al., A three-dimensional CFD model for a performance verification of the liquid poison injection system of a CANDU-6 reactor, Nucl. Technol. 159 (2007) 158-166, 2. https://doi.org/10.13182/NT07-A3862
- Drew J. Rankin, Jiang Jin, Predictive trip detection for nuclear power plants, IEEE Trans. Nucl. Sci. 63 (2016) 2352-2362, 4. https://doi.org/10.1109/TNS.2016.2582467
- Zhuyun Chen, Weihua Li, Multisensor feature fusion for bearing fault diagnosis using sparse autoencoder and deep belief network, IEEE Trans. Instrum. Meas. 66 (2017) 1693-1702, 7. https://doi.org/10.1109/TIM.2017.2669947
- Nancy G. Leveson, Janice L. Stolzy, Safety analysis using Petri nets, IEEE Trans. Software Eng. 3 (1987) 386-397. https://doi.org/10.1109/TSE.1987.233170
- MuDer Jeng, Xiaolan Xie, MaoYu Peng, Process nets with resources for manufacturing modeling and their analysis, IEEE Trans. Robot. Autom. 18 (2002) 875-889, 6. https://doi.org/10.1109/TRA.2002.805655
- Zuohua Ding, Yuan Zhou, MengChu Zhou, A polynomial algorithm to performance analysis of concurrent systems via Petri nets and ordinary differential equations, IEEE Trans. Autom. Sci. Eng. 12 (2013) 295-308, 1. https://doi.org/10.1109/TASE.2013.2285574