Petri-net based attack time analysis in the context of chemical process security · Study