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

Anything in here will be replaced on browsers that support the canvas element