PETRI网的进程表达式-东篱科研大数据发现系统（DRDS）

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

PETRI网的进程表达式

项目名称：PETRI网的进程表达式
项目类别：面上项目
批准号：69573018
申请代码：F020301
项目来源：国家自然科学基金
研究期限：1996-01-01-1998-12-01

项目负责人：吴哲辉
负责人职称：教授
依托单位：山东科技大学
批准年度：1995

中文摘要：

Petri网的进程表达式是以网系统的基本子进程为字母表的一个正规表达式，对于网系统的并发性能分析很有意义。本项目的研究内容包括给出对给定的Petri网求其进程表达式的算法；应用进程表达进行系统性能分析，以及Petri的运算、组合、分解等。主要研究方法是Petri网理论与形式语言理论相结合，并用计算机程序进行算法验证并建立Petri网分析软件包。取得的主要成果有对有界Petri网和无界公平网系统给出了求期进程表达式的算法；运用进程表达式对网的运算、组合、分解、变换等进行研究并应用于一些实际问题；开发了分析软件，补充、完善了Petri网分析工具。共写成论文22篇，其中有7篇分别被《SCI》、《EI》、《INSPEC》等国际权威索引引摘。

中文主题词： PETRI网进程正规表达式

成果综合统计