带抑制弧Petri网的保性变换

• 作者: 乐晓波 周恺卿 张兆海 莫礼平
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 带抑制弧的Petri网 保性变换 活性 有界性 (弱)公平性
• 年，卷（期）: 2012,（11）
• 所属期刊栏目: 计算机软件与技术
• 页码范围: 3071-3074
• 分类号: TP311.5|TP301.2
• 字数: 3315字
• 语种: 中文
• DOI: 10.3724/SP.J.1087.2012.03071

摘要

Petri网的保性化简是Petri网分析的一种重要途径.带抑制弧的增广Petri网在计算能力上与图灵机等价.针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上,证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	乐晓波	长沙理工大学计算机与通信工程学院	64	456	11.0	18.0
2	莫礼平	吉首大学信息科学与工程学院	39	130	7.0	9.0