Colored Petri nets in the simulation of ETL standard tasks: the surrogate key pipelining case Artigo de Conferência