A very crude SBML export module. It basically just dumps BooleanNetwork into valid XML, but there are some things that could be better checked.
BooleanNetwork