稳定有界Petri网的进程表达式

• 作者: 刘关俊 汪明新 闫春钢
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 有界Petri网 进程表达式 基本子进程 S-网
• 年，卷（期）: 2011,（2）
• 页码范围: 55-58,67
• 分类号: TP393
• 字数: 5087字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.02.012

摘要

文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法.定义了一类有界Petri网--稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式.另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	闫春钢	同济大学计算机科学与工程系	16	188	8.0	13.0
2	汪明新	同济大学计算机科学与工程系	3	14	3.0	3.0
3	刘关俊	同济大学嵌入式系统与服务计算教育部重点实验室	4	16	3.0	4.0