  It is shown that a higher-dimensional automaton is hhp-bisimilar to the free
symmetric HDA generated by it. Consequently, up to hereditary
history-preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of
concurrency with the same expressive power.
