Bouziane’s transformation of the Petri net reachability problem and incorrectness
Found another article that helped me understand:

COMPEXITY OF SOME PROBLEMS IN PETRI NETS* 

http://www.sciencedirect.com/science/article/pii/0304397577900147

This paper does a good job of explaining the difference between a k-bounded Petri-Net and an unbounded one.

A Petri net is bounded if and only if it has a finite reachability set. 

Bouziane’s solution applies only to bounded Petri-Nets.