Logical models can be found on various repositories:
- BioModels is a database of models in the SBML formats. Some logical models are available using the SBML qual extension.
- The Cell Collective provides models in several formats, including SBML qual.
- The GINsim's model repository provide models in the GINML format, which can be converted to SBML qual (and other formats) using GINsim.
- The PyBoolNet repository of Boolean networks at https://github.com/hklarner/PyBoolNet/tree/master/Repository