Mapping Concurrent-Software Specifications to Petri Nets for Analysis & Metric Definition

将并发软件规范映射到 Petri 网进行分析

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

One of the most significant problems in concurrent-software analysis research is achieving a balance between general theoretical concepts and specific practical techniques. The focus of this research is on applying and adapting petri net theory for solutions to pragmatic problems in concurrent-software analysis. We will investigate algorithmic mapping of various concurrent-software specifications to appropriate types of Petri net models and we will seek effective analysis procedures that work by combining concepts from general net theory with domain specific information. Both qualitative properties, like deadlock, and quantitative properties, like complexity, will be studied.

并发软件分析中最重要的问题之一 研究是在一般理论概念之间取得平衡， 具体的实用技术。 本研究的重点是 应用和适应petri网理论解决实际问题 并发软件分析中的问题。 我们将调查 各种并发软件规范的算法映射， 适当类型的Petri网模型，我们将寻求有效的 分析程序的工作原理是结合一般网络的概念 领域特定信息的理论。 两种性质， 比如死锁，而数量属性，比如复杂性， 研究了