class Door : public Server_Normal<FIFO> {
protected:
Random *service_distribution;
public:
void use() { wait((*service_distribution)()); };
Door(int nb_server,Random *distribution):Server_Normal<FIFO>(nb_server) {
service_distribution=distribution;
};
};