Text this: Structural Locality, division criterion for the execution of non-Autonomous Petri Net on IP-Core