Fault tolerant reconfiguration of multi-satellite interactions using high-level petri nets