基于P-不变量的Petri网并行化方法的研究

• 作者: 廖伟志 李文敬 王汝凉
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: P-不变量 Petri网 分割 并行进程 并行化方法
• 年，卷（期）: 2009,（16）
• 所属期刊栏目: 网络与通信技术
• 页码范围: 3758-3761,3770
• 页数: 5页
• 分类号: TP301.6
• 字数: 6898字
• 语种: 中文

摘要

为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法.根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析.在此基础上,提出并行进程创建条件拓展定理并给予证明和实例验证.给出实现并行化所需要解决的Petri网模型行为规范的形式化、P-不变量求解与基于P-不变量的Petri网并行化方法.实验结果表明,基于P-不变量的Petri网系统的并行化方法是可行和有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖伟志	广西师范学院信息技术系	47	241	8.0	12.0
2	王汝凉	广西师范学院信息技术系	65	246	8.0	13.0
3	李文敬	广西师范学院信息技术系	71	316	10.0	13.0