PETRI网的进程表达式

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