identifying violationsDiagnostic system based on condition turbogenerator Petri nets 3/28/2016 2016 - #01 Global safety, reliability and diagnostics of nuclear power installations Kachur S.A. Shakhova N.V.