E. Kofi Vida-Torku Beverly Messick Huey Petri Net based search directing heuristics for test generation. 323-330 1983 DAC http://dl.acm.org/citation.cfm?id=800684 conf/dac/1983 db/conf/dac/dac1983.html#Vida-TorkuH83