Subanalytic stratifications and bisimulations