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;