Symbolic Bisimulation for Open and Parameterized Systems