Reachability analysis of systems based on Petri Nets. - Hudák, Štefan (Elfa, spol. s r.o., 1999)