妈妈 swMATH ID: 10580 软件作者： 马克·蒂默 描述： MAMA工具集的基于Web的版本（SCOOP+IMCA）。要在不实际下载底层工具的情况下试用MAMA工具集，可以使用此基于web的版本。该工具集支持三种输入语言：MAPA、prCRL和PNML。这里我们参考MAPA及其子语言prCRL的语法。如果选择PNML，输入将被视为GSPN，以PNML格式的XML规范提供。在这种情况下，首先调用由特温特大学的Rob Bamberg开发的GEMMA工具将此GSPN转换为MAPA规范。此处解释了此翻译的详细信息。。。 主页： http://wwwhome.cs.utwente.nl/~定时器/妈妈/ 相关软件： 勺 引用于： 1文件 5位作者引用 1 古克，丹尼斯 1 哈桑·哈特菲 1 霍尔格·赫尔曼斯 1 Joost-Pieter卡托恩 1 马克·蒂默 连载1篇 1 计算机科学中的逻辑方法 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文