Groups

5 groups found

  • bash-script

    Bash script

    Gruppe dient zum Austausch von Bash Scripts

    0 Datasets
    1 Member View Bash script
  • machine-files

    Machine Files

    A place to group all files, produced by machines

    5 Datasets
    3 Members View Machine Files
  • mapping-results

    Mapping Results

    A place to group all results from mapped machine files to process graphs

    5 Datasets
    3 Members View Mapping Results
  • process-graph-mappings

    Process Graph Mappings

    A place to group all mappings to process graphs

    6 Datasets
    3 Members View Process Graph Mappings
  • process-graphs

    Process Graphs

    A place to group all finalized process graphs

    5 Datasets
    3 Members View Process Graphs