The export creates an SBML file describing a general logical model that corresponds to the Boolean network. Importing tools must support the sbml-qual
extension package version 1.0.
The export translates the expressions that describe the network transition functions to a MathML description. If these expressions cannot be parsed or generateDNFs
is true, a DNF representation of the transition functions is generated and exported.
For symbolic networks, temporal operators and delays of more than one time step are not allowed, as they are not compatible with SBML.