Small Universal Petri Nets with Inhibitor Arcs
Formal Languages and Automata Theory
2013-12-17 v1 Computational Complexity
Discrete Mathematics
Abstract
We investigate the problem of construction of small-size universal Petri nets with inhibitor arcs. We consider four descriptional complexity parameters: the number of places, transitions, inhibitor arcs, and the maximal degree of a transition, each of which we try to minimize. We give six constructions having the following values of parameters (listed in the above order): , , , , , that improve the few known results on this topic. Our investigation also highlights several interesting trade-offs.
Keywords
Cite
@article{arxiv.1312.4414,
title = {Small Universal Petri Nets with Inhibitor Arcs},
author = {Sergiu Ivanov and Elisabeth Pelz and Sergey Verlan},
journal= {arXiv preprint arXiv:1312.4414},
year = {2013}
}