Decidability and Closure Properties of Weak Petri Net Languages in Supervisory Control