玛丽亚 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、Nisse 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) 按年份列出的引文