Termination and resource analysis of assembly programs by Petri nets

We investigate resource analysis of assembly programs. For this, we construct a Petri net interpretation of programs and define a resource termination principle which is in co-NP. Then, we give a criterion to determine if a program runs without new memory (non size increasing property) which is in Ptime.