×

玛丽亚

swMATH ID: 4127
软件作者： M“akel”a，马可
描述： 玛丽亚：代数系统网的模块可达性分析器Maria对具有公平约束的高级Petri网进行仿真、详尽可达性分析和实时LTL模型检查。代数包含强大的内置数据类型和操作。模型可以导出到低级Petri网和标记转换系统。翻译程序允许Maria分析转换系统以及用过程语言或面向对象语言或高级规范（如SDL）编写的分布式计算机程序。par Maria已经在可移植的C和C++中实现，并且在GNU通用公共许可证的条件下可以免费使用。
主页： http://www.tcs.hut.fi/Software/maria/
相关软件： 洛拉；Uppaal公司；M网络；伊莎贝尔；政治公众人物；克洛诺斯；产品；CPN/工具；临时技术秘书处；拍打；莫德；Coq公司；续订；科莱姆；蓬夫；网论；LTL2BA公司；海伦娜；现场；自旋蛋白
引用于： 19文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
玛丽亚：代数系统网的模块可达性分析器。 Zbl 1047.68554号
马可·梅克尔
2002
全部的 前5名

26位作者引用

5 汉娜·克劳代尔
三 法兰克·波默罗
2 Thanh，Cécile Bui先生
2 谢万玲
2 朱慧彪
1 安妮卡·阿尔托
1 索伦·克里斯滕森
1 Jean-Paul彗星
1 萨米·伊万格利斯塔
1 罗萨诺·盖塔
1 马可·格里鲍多
1 尼斯Husberg
1 克里斯滕森，拉尔斯·迈克尔
1 塞里·莱·克里维（SerhiĭL.Kryvyi）。
1 查尔斯·拉科斯。
1 蒂莫·拉塔瓦拉
1 圣埃芬·利奥祖
1 丹妮尔·马尼尼
1 吕德米拉·马特维耶娃
1 利奥·奥贾拉
1 艾琳娜·帕维亚宁
1 奥利·马蒂·彭廷
1 塞雷诺，马蒂奥
1 Kimmo Varpaaniemi公司
1 香，双清
1 徐启文

4篇连载文章中引用

2 计算的形式方面
2 计算机基础理论
1 信息学报
1 高阶和符号计算

在4个字段中引用

19 计算机科学（68至XX）
1 量子理论（81-XX）
1 生物学和其他自然科学（92-XX）
1 系统论；控制（93至XX）

按年份列出的引文