View the model
Download the model

Model of a repair process for a finite set of machines,
that randomly break down and need repair;
 Up times and repair times are assumed to follow exponential
distribution. The expected number of machines not in service
can then be computed by the Engset formula, implemented
as @PFS in LINGO;
 This could also model a computer timesharing system serving
a finite set of users;