Groups
-
Bash script
Gruppe dient zum Austausch von Bash Scripts
0 Datasets View Bash script -
Machine Files
A place to group all files, produced by machines
5 Datasets View Machine Files -
Mapping Results
A place to group all results from mapped machine files to process graphs
5 Datasets View Mapping Results -
Process Graph Mappings
A place to group all mappings to process graphs
6 Datasets View Process Graph Mappings -
Process Graphs
A place to group all finalized process graphs
5 Datasets View Process Graphs