Managing Time and Resources of Construction Projects Using Colored Petri Nets and a Genetic Algorithm | IEEE Conference Publication | IEEE Xplore