Petri网系统的子系统相关性研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

Petri网系统的子系统相关性研究

项目名称：Petri网系统的子系统相关性研究
项目类别：青年科学基金项目
批准号：60803032
申请代码：F020301
项目来源：国家自然科学基金
研究期限：2009-01-01-2011-12-31

项目负责人：丁志军
负责人职称：讲师
依托单位：山东科技大学
批准年度：2008

中文摘要：

本项目针对复杂系统Petri网建模与分析，从系统综合的角度，开展Petri网系统的子系统相关性及其应用的研究。提出了一类无界Petri网的可达性分析方法，给出了有界Petri网家态求解的多项式算法和基于家态的系统性质判定方法。在分析和归纳子系统交互模式基础上，构建了分布协同系统的标号Petri网综合模型、多工作流系统的T-受限组合Petri网模型与实时流系统的逻辑时间交互Petri网模型，给出了相应的子系统相关性分析方法。进而，针对高级网系统，提出了综合强、弱两种语义的时间Petri网（TPN）混合语义模型，定义了一类TPN的精炼操作，建立基于序列投影的系统行为表达式，给出了时间约束下的TPN子系统相关性的行为和性质保持条件。基于上述理论成果，提出了Web服务的Petri-box建模方法和Petri网精炼方法，提供了支持服务最优匹配、动态组合、优化选择的Petri网方法和系列算法，研制了支持Web服务组合的Petri网图形化辅助软件工具。项目发表论文19篇，申请发明专利2项，获得全国优秀博士学位论文提名奖、国家技术发明二等奖等奖励和教育部新世纪优秀人才计划等。

中文主题词： Petri网；系统综合；语言；建模；服务组合

结论摘要：

英文主题词Petri net; system synthesis; language; modeling; service composition

成果综合统计