1 Department of Mathematical Sciences, The Faculty of Engineering and Science, Aalborg University, VBN2 The Faculty of Engineering and Science (ENG), Aalborg University, VBN
Raussen (2010) gave the trace space, which corresponds to the executions of parallel non-looped, non-branching processes as a prod-simplicial complex derived from a poset. The connected components represent equivalent executions. For looped processes, the state space is a torus and the trace space is a disjoint union of trace spaces of deloopings. In the current paper, we develop the index poset for the trace space of the deloopings from the once delooped case. When just one process is looped, the index poset is generated as words in a regular language. We also construct a corresponding automaton.
Mathematical Structures in Computer Science, 2014, Vol 24, Issue 2