Yet another reachability algorithm for Petri nets. - Alexander E. Kostin; Svetlana A. Tchoudaikina (SIGACT News, 1998)