@techreport{marion:inria-00147587, TITLE = {{Termination and resource analysis of assembly programs by Petri nets}}, AUTHOR = {Marion, Jean-Yves and Moyen, Jean-Yves}, URL = {https://inria.hal.science/inria-00147587}, NOTE = {Rapport interne.}, TYPE = {Research Report}, NUMBER = {A03-R-348 || marion03a}, PAGES = {13 p}, YEAR = {2003}, KEYWORDS = {termination analysis ; petri nets ; size-change principle ; r{\'e}seux de petri ; non-size increasing ; analyse de terminaison}, HAL_ID = {inria-00147587}, HAL_VERSION = {v1}, }