Reachability analysis of systems basedon Petri nets - Hudák, Štefan (Elfa, 1999)