Formats used to represent logical models Boolsimlist of functions used by the boolsim toolGINMLXML format used by GINsimGNA formatModel representation in GNA (non-xml) formatSBML qualExchange format for logical models based on SBMLTruthTableRepresents the synchronouns dynamics formated as a two-column text file.