机译:Availability assessment of a nuclear reactor limitation system by a Timed Petri Net
Graduate Program of Nuclear Engineering, COPPE Federal University of Rio de Janeiro, Caixa Postal 68509, 21941-972, Rio de Janeiro, RJ, Brazil;
National Commission of Nuclear Energy, R. General Severiano 90, 22290-040, Rio de Janeiro, RJ, Brazil;
Nuclear reactor; Licensing; Reactor limitation system; Instrumentation and control; Petri nets; Availability analysis;