Bouziane s transformation of the Petri net reachability problem and incorrectness of the related algorithm

Petr Jancar. Bouziane s transformation of the Petri net reachability problem and incorrectness of the related algorithm. Inf. Comput., 206(11):1259-1263, 2008. [doi]

Abstract

Abstract is missing.