Text this: Reachability Criterion with Sufficient Test Space for Ordinary Petri Net