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

并发软件分析中最重要的问题之一 研究是在一般理论概念之间取得平衡， 具体的实用技术。 本研究的重点是 应用和适应petri网理论解决实际问题 并发软件分析中的问题。 我们将调查 各种并发软件规范的算法映射， 适当类型的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.