Text this: Application of colored timed Petri nets for cement production simulation