Decentralized supervision of Petri nets with a coordinator