无界Petri网分析理论与方法

项目名称： 无界Petri网分析理论与方法

项目编号： No.61374148

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 周孟初

作者单位： 同济大学

项目金额： 80万元

中文摘要： 无界Petri网分析问题一直是离散事件系统和Petri网领域的世界性研究难题之一，现有研究存在的问题与不足包括：有限可达树信息表示的不准确，缺乏广义无界网活性、死锁及可达性分析方法，以及缺乏应用研究。本申请项目拟提出两种新型的I型和II型有限可达树（I/II-FRT）及生成算法，可在树生成时去除虚假标识信息，确保网状态表示的准确性；基于I-FRT提出一类ω无关广义无界网的死锁分析方法和基于II-FRT的平凡无界网与广义无界网的活性、死锁分析方法，突破现有研究对象仅限于1-库所无界网的局面；提出II-FRT的自适应有限生长与增量式分析策略与方法，结合云计算与云存储技术，建立广义无界网的一般可达性分析的实用化方法；展开无界网在反应式软件的建模、分析与验证中的应用研究。研究有望推动无界网分析问题的研究与最终解决，为相关应用提供建模理论与分析方法，具有重大的理论与一定的应用价值。

中文关键词： Petri 网；建模与分析；离散事件系统；；

英文摘要： The analysis of unbounded Petri nets remains one of the most difficult problems in the fields of discrete event systems and Petri nets. To date, there are still many issues to be resolved, such as the inaccuracy of information representation with the exis

英文关键词： Petri net；Modeling and analysis；Discrete event system；；