![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
Software hazard analysis for nuclear digital protection system by Colored Petri Net
Keywords: نرم افزار ایمنی بحرانی; Hazard analysis; Colored Petri Net; Safety-critical software; Nuclear reactor protection system;