Colored Petri nets based modeling and simulation of mixed workload interaction in a nondedicated cluster | IEEE Conference Publication | IEEE Xplore