-/* private (called by SD_environment_create)
-SD_workstation_t SD_workstation_create(void *data, const char *name, double power,
- double available_power);*/
-SD_workstation_t SD_workstation_get_by_name(const char *name);
-SD_workstation_t* SD_workstation_get_list(void);
-int SD_workstation_get_number(void);
-void SD_workstation_set_data(SD_workstation_t workstation, void *data);
-void* SD_workstation_get_data(SD_workstation_t workstation);
-const char* SD_workstation_get_name(SD_workstation_t workstation);
-SD_link_t* SD_workstation_route_get_list(SD_workstation_t src, SD_workstation_t dst);
-int SD_workstation_route_get_size(SD_workstation_t src, SD_workstation_t dst);
-double SD_workstation_get_power(SD_workstation_t workstation);
-double SD_workstation_get_available_power(SD_workstation_t workstation);
-/* private (called by SD_clean)
-void SD_workstation_destroy(SD_workstation_t workstation);
-*/
+/** @defgroup SD_workstation_management Workstations
+ * @brief Functions for managing the workstations
+ *
+ * This section describes the functions for managing the workstations.
+ *
+ * A workstation is a place where a task can be executed.
+ * A workstation is represented as a <em>physical
+ * resource with computing capabilities</em> and has a <em>name</em>.
+ *
+ * The workstations are created when you call the function SD_create_environment.
+ *
+ * @see SD_workstation_t
+ * @{
+ */
+SD_workstation_t SD_workstation_get_by_name(const char *name);
+const SD_workstation_t* SD_workstation_get_list(void);
+int SD_workstation_get_number(void);
+void SD_workstation_set_data(SD_workstation_t workstation, void *data);
+void* SD_workstation_get_data(SD_workstation_t workstation);
+const char* SD_workstation_get_name(SD_workstation_t workstation);
+SD_link_t* SD_route_get_list(SD_workstation_t src, SD_workstation_t dst);
+int SD_route_get_size(SD_workstation_t src, SD_workstation_t dst);
+double SD_workstation_get_power(SD_workstation_t workstation);
+double SD_workstation_get_available_power(SD_workstation_t workstation);
+
+double SD_workstation_get_computation_time(SD_workstation_t workstation, double computation_amount);
+double SD_route_get_current_latency(SD_workstation_t src, SD_workstation_t dst);
+double SD_route_get_current_bandwidth(SD_workstation_t src, SD_workstation_t dst);
+double SD_route_get_communication_time(SD_workstation_t src, SD_workstation_t dst,
+ double communication_amount);
+
+/** @} */