Vi definierar 2 operatörer om relationer över naturliga tal så att de generaliserar operatörerna "+" och "*" och visar att medlemskap och tomhet problem i förbindelser som konstruerats från finita relationer med dessa operatörer och  till är avgörande. Detta generaliserar Presburger aritmetik och gör det möjligt att bestämma räckvidd problem för de Petri nät där inhibitor båge förekommer endast på något begränsat sätt. Särskilt tillgänglighetsproblem är decidedable för Petri nät med endast en inhibitor båge, som löser ett öppet problem i [KLM89]. Dessutom beskriver vi motsvarande automaton som har ett decibelt tomrumsproblem.
Svårigheten att nå Petri nät med en inhibitor båge studeras i REF och visade sig vara decidable.
Reachability in Petri Nets with Inhibitor Arcs
{'venue': 'Electr. Notes Theor. Comput. Sci.', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}