Reversal of regulatory graphs

The model reversal tool constructs a model in which the asynchronous successors of a state correspond to it's predecessors in the original model. Multivalued models are supported through model booleanization, with some further transformations to prevent the introduction of non-admissible successor states.