  One can associate to any strict globular $\omega$-category three augmented
simplicial nerves called the globular nerve, the branching and the merging
semi-cubical nerves. If this strict globular $\omega$-category is freely
generated by a precubical set, then the corresponding homology theories contain
different informations about the geometry of the higher dimensional automaton
modeled by the precubical set. Adding inverses in this $\omega$-category to any
morphism of dimension greater than 2 and with respect to any composition laws
of dimension greater than 1 does not change these homology theories. In such a
framework, the globular nerve always satisfies the Kan condition. On the other
hand, both branching and merging nerves never satisfy it, except in some very
particular and uninteresting situations. In this paper, we introduce two new
nerves (the branching and merging semi-globular nerves) satisfying the Kan
condition and having conjecturally the same simplicial homology as the
branching and merging semi-cubical nerves respectively in such framework. The
latter conjecture is related to the thin elements conjecture already introduced
in our previous papers.
