Text this: Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de petri jerárquicas