我们正在开发一种工具 iBioSim，它可能具有您正在寻找的一些功能。我们支持开发 Petri 网模型，然后使用我们的模型编辑器将其保存为 SBML。本质上，地点是特别注释的参数，而转换是特别注释的事件。我们也可以将这些 Petri 网的 SBML 模型转换为 Petri 网文件格式，尽管它是我们自己的设计之一，而不是标准。但是，它不会将任意 SBML 文件转换为 Petri 网。我们可能会添加这样的支持，但我不完全确定生成的模型可以用于什么。也就是说，它将每个物种编码为一个地方，将反应编码为一个过渡，但在大多数实际情况下，它将是一个无限状态（或非常大）的系统。然而，我们确实，

如果我更了解您翻译的目的，或许可以提供更好的答案。

Snoopy能够在许多 Petri 网格式、SBML 和其他格式之间进行转换。

我还建议您查看 iBioSim ( http://www.async.ece.utah.edu/iBioSim/ )，但如果这对您不起作用，并且您最终不得不自己动手，您可以移动一个通过使用 libsbml ( http://sbml.org/Software/libSBML ) 直接解析标记语言。这将使您能够对 SBML 文件中的事件和反应以及其他元素进行语义访问。从那里，您可以通过编程方式写出矩阵表示，或直接执行您的分析。