A branch and bound approach for the design of decentralized supervisors in Petri net models