Simplicial models for trace spaces. II: General higher dimensional automata (Q441103): Difference between revisions

The aim of this paper is to describe a general method that determines the space of directed paths of a higher dimensional automaton (i.e. in this paper a finite non-selflinked precubical complex) with given end points as the nerve of a particular category. The author generalizes previous results obtained in the case of semaphore models. The new method applies for models in which directed loops occur in the processes involved. The author starts from the nonbranching and nonlooping case in which these spaces are either empty or contractible. Then the branching (and still nonlooping) case is treated by considering the nerve of the covering given by the nonbranching subcomplexes. Finally the case in which non-trivial directed loops occur is treated using the nonlooping length covering of \(d\)-spaces which deloops all non-trivial directed loops.