This paper presents an ARENA®-based library for the development of timed colored Petri net (TCPN) models. In this way, the strengths of Petri nets and discrete event simulation (DES) are combined in a powerful tool for modeling and analysis of systems. The use of the library is illustrated on a cosmetics manufacturing facility in Bogota (Colombia). This facility was modeled via both TCPNs and a classical DES methodology. Extensive analysis shows the advantages and disadvantages of each approach.