tokens: We describe two algorithms which schedules resource usage given TRN models , one based on a standard encoding as a mixed integer program ( MIP ) and a novel algorithm leveraging prior specialized algorithms for solving temporal problems .