Web-based version of the MAMA toolset (SCOOP + IMCA). To experiment with the MAMA toolset without having to actually download the underlying tools, you can use this web-based version. The toolset supports three kinds of input languages: MAPA, prCRL and PNML. We refer here for the syntax of MAPA and its sublanguage prCRL. If PNML is selected, the input is taken to be a GSPN, provided as an XML specification in PNML format. In that case, the GEMMA tool - developed by Rob Bamberg at the University of Twente - is called first to translate this GSPN to a MAPA specification. Details of this translation are explained here. ...
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Guck, Dennis; Hatefi, Hassan; Hermanns, Holger; Katoen, Joost-Pieter; Timmer, Mark: Analysis of timed and long-run objectives for Markov automata (2014)