Working with Prism and Storm

Jajapy models can easily be translated to stormpy sparse model and vice-versa using the two functions jajapyModeltoStormpy and stormpyModeltoJajapy.