English

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): (30,34,13,3)(30,34,13,3), (14,31,51,8)(14, 31, 51, 8), (11,31,79,11)(11, 31, 79, 11), (21,25,13,5)(21,25,13,5), (67,64,8,3)(67, 64, 8, 3), (58,55,8,5)(58, 55, 8, 5) 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}
}
R2 v1 2026-06-22T02:28:32.737Z