On the complexity of forbidden state problems for controlled marked graphs