On the interrelation between synchronized and non-synchronized behaviour of Petri Nets
1988; University of Giessen; Volume: 24; Issue: 1 Linguagem: Inglês
10.25596/jalc-2019-003
ISSN1430-189X
Autores Tópico(s)Cellular Automata and Applications
ResumoA graph is called k-representable if there exists a word w over the nodes of the graph, each node occurring exactly k times, such that there is an edge between two nodes x, y if and only after removing all letters distinct from x, y, from w, a word remains in which x, y alternate. We prove that if G is k-representable for k > 1, then the Cartesian product of G and the complete graph on n nodes is (k + n − 1)-representable. As a direct consequence, the k-dimensional cube is k-representable for every k ≥ 1. Our main technique consists of exploring occurrence-based functions that replace every ith occurrence of a symbol x in a word w by a string h(x, i). The representing word we construct to achieve our main theorem is purely composed from concatenation and occurrence-based functions.
Referência(s)