SMBioNet is a tool for modeling genetic regulatory systems. It is based on the multivalued logical formalism of René Thomas and the Computational Tree Logic (CTL). The input consists in (1) a discrete regulatory network with unspecified parameters, and (2) a CTL formula that expresses the biological observations (or hypothesis) on the behaviors of the system to model. The output consists in the set of all the parameterizations of network leading to a dynamical model consistent with the CTL formula. More information is available in the SMBioNet user manual. The sources will be soon available. You may already contact