Library prosa.model.readiness.sequential
Sequential Readiness Model
Consider any type of job associated with any type of tasks...
Context {Job : JobType}.
Context {Task : TaskType}.
Context `{JobTask Job Task}.
Context `{JobArrival Job}.
Context `{JobCost Job}.
Context {Task : TaskType}.
Context `{JobTask Job Task}.
Context `{JobArrival Job}.
Context `{JobCost Job}.
... and any kind of processor state.
Consider any job arrival sequence ...
Variable arr_seq : arrival_sequence Job.
(* A job j is ready at a time instant t iff all jobs from task
job_task j that arrived earlier than job j are already
completed by time t. *)
End SequentialTasksReadiness.
(* A job j is ready at a time instant t iff all jobs from task
job_task j that arrived earlier than job j are already
completed by time t. *)
End SequentialTasksReadiness.