Tutorial: Petri nets as a graphical description medium for many reliability scenarios | IEEE Journals & Magazine | IEEE Xplore