Reachability analysis of systems based on Petri Nets - Hudák, Štefan (Elfa, 1999)