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, with some further transformations to prevent the introduction of non-admissible successor states.
The model reversal tool is available in the Actions menu.
Availability and further reading
This method was implemented in GINsim 3.0. The backend is implemented in, enabling its programmatic use.