There is a relatively new method aimed at transforming classical "continuous" SBML models into Boolean networks. Parts of the underlying approach can be seen here (also see this).
The method has been successfully applied to a wide range of models from the Biomodels repository. The translation result is not published, but the code is publicly available here.
If someone can make the code run it should be possible to add these as a large collection of automatically generated models.
You may also consider the CaSQ method https://github.com/soli/casq for structural conversion from CellDesignermodels to Boolean networks. It is shipped in the CoLoMoTo notebook.
There is a relatively new method aimed at transforming classical "continuous" SBML models into Boolean networks. Parts of the underlying approach can be seen here (also see this).
The method has been successfully applied to a wide range of models from the Biomodels repository. The translation result is not published, but the code is publicly available here.
If someone can make the code run it should be possible to add these as a large collection of automatically generated models.