Applying Hm Heuristics in Petri Nets Reachability Problem. - Rene Kultz; Luis Allan Künzle; Fabiano Silva (IBERAMIA, 2010)