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