-SG_workstation_t SG_workstation_create(void *data, const char *name, double power,
- double available_power);
-SG_workstation_t SG_workstation_get_by_name(const char *name);
-SG_workstation_t* SG_workstation_get_list(void);
-int SG_workstation_get_number(void);
-void SG_workstation_set_data(SG_workstation_t workstation, void *data);
-void* SG_workstation_get_data(SG_workstation_t workstation);
-const char* SG_workstation_get_name(SG_workstation_t workstation);
-SG_link_t* SG_workstation_route_get_list(SG_workstation_t src, SG_workstation_t dst);
-int SG_workstation_route_get_size(SG_workstation_t src, SG_workstation_t dst);
-double SG_workstation_get_power(SG_workstation_t workstation);
-double SG_workstation_get_available_power(SG_workstation_t workstation);
-void SG_workstation_destroy(SG_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>.
+ *
+ * @see SD_workstation_t
+ *
+ * @{
+ */
+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);
+
+/** @} */