奥里斯 swMATH编号： 7669 软件作者： 贾科莫·布奇；Carnevali，劳拉；洛伦佐·里迪；恩里科·比卡里奥 描述： Oris：实时系统建模、验证和评估工具Oris是一种用于对反应式定时系统进行定性验证和定量评估的工具，它支持对各类Petri网定时扩展的建模和分析。Oris实现了抢占时间Petri网的符号状态空间分析，这是Oris最具特征的功能，可以对优先级抢占调度下运行的实时系统进行可调度性分析；和随机时间Petri网，使定性验证和定量评估的综合方法成为可能。在本文中，我们介绍了该工具的当前版本，并举例说明了它在定性验证和定量评估领域的两个不同案例研究中的应用。 主页： http://www.oris-tool.org/ 关键词： 定性验证;定量评价;符号状态空间枚举;时间Petri网;抢占时间Petri网;随机时间Petri网;差分界限矩阵;实时系统 相关软件： TINA公司;Uppaal公司;时间;税收;克洛诺斯;罗密欧 引用于： 1文件 4位作者引用 1 纪尧姆·加迪 1 莱姆，迪迪埃 1 摩根·马根 1 奥利维尔·H·鲁克斯。 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文