Concurrent-Software Analysis Using Petri Nets

使用 Petri 网的并发软件分析

• 批准号: 9113569
• 负责人: Sol Shatz
• 金额: $ 24.02万
• 依托单位: University of Illinois at Chicago
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-10-01 至 1994-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9113569&HistoricalAwards=false
• 关键词: Concurrent; Software; Analysis; Using; Petri

The objective of this project is to: Apply and adapt Petri net theory for solutions to pragmatic problems in concurrent-software analysis. Specific topics to be investigated include continued research on using Petri net techniques and tools for Ada tasking analysis and for logic specification evaluation. A number of techniques and problems will be considered including the implementation of Petri net invariant techniques and study of the relationship of this technique to the constrained expressions method.

该项目的目标是： 应用和适应Petri网理论解决实际问题 并发软件分析。 拟调查的具体专题 包括继续研究如何利用Petri网技术和工具， 任务分析与逻辑规格评估。 一些 技术和问题将被考虑，包括 Petri网不变量技术的实现及 这种技术与约束表达式方法的关系。