algorithmie anti Thales replanification middleware Petri → GPS multi CPU multi