Added basic support for exporting into PRISM (transitions matrix)