文献类型：期刊文章

作　　者：吴哲辉[1] 王培良[1] 赵茂先[1]

机构地区：[1]山东科技大学应用数学与软件工程系,泰安271019

出　　处：《计算机学报》

基　　金：国家自然科学基金!(69873029)

年　　份：2000

卷　　号：23

期　　号：4

起止页码：337-344

语　　种：中文

收录情况：BDHX、BDHX1996、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：2001115501583)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：Ｐｅｔｒｉ网的进程表达式是以该网系统的基本子进程集为字母表的一个正规表达式．它用有限形式给出了网系统的所有（无限多个）进程的集合．作者于１９９５年给出了对任意给定的有界Ｐｅｔｒｉ网求其进程表达式的一个算法．这个算法对无界Ｐｅｔｒｉ网是不适用的，其原因在于子进程同构的概念在无界网系统中没有意义．对此，作者通过定义进程段行为等价的概念，导出了无界Ｐｅｔｒｉ网的进程表达式的一般形式，并借助无界公平网的特征可达树得出求给定无界公平网进程表达式的一个算法。

关 键 词：PETRI网 进程表达式  无界 公平性  算法  

分 类 号：TP301.6] TP18[计算机类]