Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees