Title: A modification of Petri nets for reliability analysis