On the interrelation between synchronized and non-synchronized behaviour of Petri Nets
From MaRDI portal
Publication:5235980
DOI10.25596/JALC-2019-003zbMATH Open1422.05072arXiv1808.01800OpenAlexW1880338612MaRDI QIDQ5235980
Publication date: 14 October 2019
Abstract: A graph is called -representable if there exists a word over the nodes of the graph, each node occurring exactly times, such that there is an edge between two nodes if and only after removing all letters distinct from , from , a word remains in which alternate. We prove that if is -representable for , then the Cartesian product of and the complete graph on nodes is -representable. As a direct consequence, the -cube is -representable for every . Our main technique consists of exploring occurrence based functions that replace every th occurrence of a symbol in a word by a string . The representing word we construct to achieve our main theorem is purely composed from concatenation and occurrence based functions.
Full work available at URL: https://arxiv.org/abs/1808.01800
Graph representations (geometric and intersection representations, etc.) (05C62) Graph operations (line graphs, products, etc.) (05C76)
Related Items (2)
Minimum length word-representants of graph products ⋮ Word-representable graphs: orientations, posets, and bounds
This page was built for publication: On the interrelation between synchronized and non-synchronized behaviour of Petri Nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5235980)