Hudák Štefan: Reachability Analysis of Systems Based on Petri Nets, Košice, Elfa spol. s r.o., 1999, 272 pp., ISBN 80-88964-07-5