Modeling Multi-Agent Systems Activities Through Colored Petri Nets: An Industrial Production System Case Study Artigo de Conferência