TY - RPRT TI - Small Universal Petri Nets with Inhibitor Arcs AU - Sergiu Ivanov AU - Elisabeth Pelz AU - Sergey Verlan PY - 2013 UR - https://arxiv.org/abs/1312.4414 ID - 1312.4414 ER -