部分 swMATH编号： 3123 软件作者： 购买，美国。；R.H.斯隆。 描述： 使用PARTS工具集对反应系统进行自动实时分析实时系统越来越广泛，通常在安全关键型应用中。因此，这些系统必须正确；然而，很少有自动化工具来分析这些系统的并发性和定时属性。PARTS工具集使用基于Petri网的可达性分析来分析在Ada-83子集中编写的程序规范。我们的简单时间Petri网专门用于促进实时分析。为了控制状态爆炸问题，PARTS采用了几种旨在减少状态空间的优化技术。本文讨论了我们的方法，并报告了基于Ada 83的实时规范的几个示例的大量实验。如果可能，我们还将实验结果与其他实时分析方法获得的结果进行比较。 主页： http://www.springerlink.com/content/x354416j33j6l475/fulltext.pdf 关键词： 实时系统;简单时间Petri网 相关软件： Matlab公司;高超声速;阿达95 引用于： 2文件 4位作者引用 1 Antsaklis，Panos J。 1 买，乌戈 1 玛丽安·尤尔达奇。 1 罗伯特·H·斯隆。 连载1篇 1 系统与控制：基础与应用 在2个字段中引用 2 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的引文