GINsim 3.0 Documentation
GINsim (see Naldi 2009) is a tool implementing the multilevel logical formalism. It leans on two main types of graphs: Logical Regulatory Graphs, which model regulatory networks, and State Transition Graphs, which represent their dynamical behaviour. See also the Tutorial.
Define Logical Regulatory Graphs
Modify Logical Regulatory Graphs
Generic Graphs
GINsim relies on Graphs to represent logical models and their dynamical behaviour.