Will there be updates to SBML-to-PRISM Translation?

[Zhen Zhang]

Hello,

I would like to know if there are plans to extend this converter to support newer versions of SBML, namely, SBML level 3 version 1 or SBML level 3 versions 2 to 4. Currently, the converter supports SBML level 2 version 1 according to this page: http://www.prismmodelchecker.org/sbml/. Thank you.

[Dave Parker]

Hi,

No particular plans I'm afraid. Are there specific new features you
would like supported? Or is it just that newere SBML files no longer
work in PRISM?

Bet wishes,

Dave

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker developers" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchecke...@googlegroups.com
> <mailto:prismmodelchecke...@googlegroups.com>.
> To post to this group, send email to
> prismmodel...@googlegroups.com
> <mailto:prismmodel...@googlegroups.com>.
> Visit this group at https://groups.google.com/group/prismmodelchecker-dev.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker-dev/55d2b4ce-6d39-4ffc-8d78-ca06eb36d47c%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker-dev/55d2b4ce-6d39-4ffc-8d78-ca06eb36d47c%40googlegroups.com?utm_medium=email&utm_source=footer>.

[Zhen Zhang]

Dear Dave,

Thank you for your prompt reply. I created an biosynthesis pathway from the Sabio-RK database (http://sabio.h-its.org/newSearch/index), but it only exports version 2 level 2 SBML models or above. I attached this model. I wonder if there is a way to downgrade to version 2 level 1 so that it can be converted to PRISM. Thank you.

Best regards,
Zhen

--

Zhen Zhang