无界公平Petri网的进程表达式

• 作者: 吴哲辉 王培良 赵茂先
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Petri网 进程表达式 无界 公平性
• 年，卷（期）: 2000,（4）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 337-344
• 页数: 8页
• 分类号: TP301
• 字数: 1223字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2000.04.001

摘要

Petri网的进程表达式是以该网系统的基本子进程集为字母表的一个正规表达式.它用有限形式给出了网系统的所有(无限多个)进程的集合.作者于1995年给出了对任意给定的有界Petri网求其进程表达式的一个算法.这个算法对无界Petri网是不适用的,其原因在于子进程同构的概念在无界网系统中没有意义.对此,作者通过定义进程段行为等价的概念,导出了无界Petri网的进程表达式的一般形式,并借助无界公平网的特征可达树得出求给定无界公平网进程表达式的一个算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王培良	山东科技大学应用数学与软件工程系	7	103	4.0	7.0
2	吴哲辉	山东科技大学应用数学与软件工程系	88	638	14.0	19.0
3	赵茂先	山东科技大学应用数学与软件工程系	34	238	9.0	14.0