罗密欧 swMATH ID: 812 软件作者： 纪尧姆·加迪；莱姆，迪迪埃；摩根·马根（Morgan Magnin）；Olivier Roux（H.） 描述： 罗密欧：分析时间Petri网的工具。本文介绍了时间Petri网（TPN）分析器Romeo的特点。工具Romeo允许TPN的状态空间计算和可达性属性的动态模型检查。它执行从主题公园网络到时间自动机（TA）的转换，以保持主题公园网络的行为语义（时间双相似性）。此外，我们的工具还处理时间Petri网（Scheduling-TPNs）的扩展，对于该扩展，可以停止和恢复转换的估值，从而允许建模抢占。 主页： http://romeo.rts-software.org/ 关键词： 时间Petri网;模型检查;状态空间;数据库管理;多面体;行程安排;秒表 相关软件： TINA公司;Uppaal公司;克罗诺斯;TAPAAL公司;CMC公司;IF-2.0型;高超声速;UPPAAL TIGA公司;网论;AUTOSAR汽车;奥里斯;纽波尔卡;SpaceEx公司;佩帕;HySAT卫星;棱镜;上CORA;Verics公司;盖泽尔;兔子 引用于： 27文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 罗密欧：分析时间Petri网的工具。 Zbl 1081.68618号纪尧姆·加迪;莱姆，迪迪埃;摩根·马根;奥利维尔·H·鲁克斯。 2005 全部的 前5名51位作者引用 11 奥利维尔·H·鲁克斯。 10 莱姆，迪迪埃 5 吉·斯尔巴 三 弗兰克·卡塞兹 三 雅各布森，拉塞 三 莫滕·雅各布森 三 克洛德·贾德 三 米凯尔·哈克杰·默勒 2 贝拉德，贝特里奇 2 托马斯·查泰恩 2 乌里·法伦贝格 2 纪尧姆·加迪 2 巴托斯·格拉比克 2 谢尔盖·哈达德 2 约根森、肯尼思·伊尔克 2 金·古德斯特兰·拉森 2 摩根·马根 2 路易斯·马里·特劳努埃兹 1 阿卜杜勒克里姆·阿卜杜利 1 艾丽卡·阿尔布拉汉姆 1 埃蒂安·安德烈 1 纳吉布·巴达奇 1 桑迪·巴拉格尔 1 穆罕默德·马赫迪·本穆萨 1 伯纳德·伯托米厄 1 哈尼法·布切内布 1 帕特里夏·鲍耶 1 约阿金·比格 1 克莉丝汀，杂乱无章 1 亚历山大·戴维 1 胡安·德·拉腊 1 休伯特·加拉维 1 斯特凡·哈尔 1 彼得·格约尔·詹森 1 凯斯·克莱 1 弗雷德里克·朗 1 Legay、Axel 1 丹尼尔·莱普里 1 尼古拉斯·马基 1 克劳德·马丁内斯 1 Peter Csaba，Olveczky 1 Ouaknine，Joel O。 1 沃伊切赫·彭泽克 1 阿加塔·波罗拉 1 卡琳·夸斯 1 夏洛特·塞纳 1 扬·施托克 1 汉斯·旺格鲁 1 弗朗索瓦·沃纳达特。 1 詹姆斯·沃雷尔。 1 安德烈·兹布雷泽兹尼 全部的 前5名7篇连载文章中引用 三 理论计算机科学 2 计算的形式化方面 2 离散事件动态系统 1 实时系统 1 逻辑与计算杂志 1 系统设计中的形式化方法 1 计算机基础理论 在4个字段中引用 25 计算机科学（68至XX） 三 系统论；控制（93至XX） 1 组合数学（05-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文