Fajstrup, Lisbeth

English

In [4] the trace space of parallel non-looped, non-branching processesis given as a prod-simplicial complex derived from an index category.For looped processes, the state space is a torus and the trace space is a disjointunion of tracespaces of deloopings. The index category for the trace space ofthe deloopings is developed from the once delooped case. When just one processis looped, the index category is generated as words in a regular language.The automaton is constructed.In [4] the trace space of parallel non-looped, non-branching processesis given as a prod-simplicial complex derived from an index category.For looped processes, the state space is a torus and the trace space is a disjointunion of tracespaces of deloopings. The index category for the trace space ofthe deloopings is developed from the once delooped case. When just one processis looped, the index category is generated as words in a regular language.The automaton is constructed

Trace spaces of directed tori with rectangular holes

https://vbn.aau.dk/ws/files/55669400/R_2011_08.pdf

Trace spaces of directed tori with rectangular holes

Abstract

Similar works

Full text

Available Versions

VBN