On the Border of Universality/Non-Universality in Restricted High-Level Petri Nets