Tractable Class of a Problem of Goal Satisfaction in Mutual Exclusion Network