Biological and chemical systems are represented as a symbolic model. Minimal sets of elements of the system are identified from the model, for example, by automatic inference. The model can be constructed from Boolean propositions that are mapped to a binary decision diagram. The model can also be probed using a branch and bound algorithm.