20 likes | 135 Views
Activity. Parameters: const int mintime, const int maxtime, int &ressource, urgent chan &in_channel, urgent chan &out_channel. Startnode.
E N D
Activity Parameters: const int mintime, const int maxtime, int &ressource, urgent chan &in_channel, urgent chan &out_channel Startnode