The Formalization of Decision-Free Petri Net. - Pratima K. Shah; Pauline N. Kawamoto; Mariusz Giero (Formaliz. Math., 2014)