| 基于P-不变量的Petri网并行化方法的研究 |
| |
| 引用本文： | 李文敬,王汝凉,廖伟志.基于P-不变量的Petri网并行化方法的研究[J].计算机工程与设计,2009,30(16). |
| |
| 作者姓名： | 李文敬 王汝凉 廖伟志 |
| |
| 作者单位： | 广西师范学院信息技术系,广西南宁,530001 |
| |
| 基金项目： | 国家自然科学基金项目，广西自然科学基金项目 |
| |
| 摘 要： | 为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法.根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析.在此基础上,提出并行进程创建条件拓展定理并给予证明和实例验证.给出实现并行化所需要解决的Petri网模型行为规范的形式化、P-不变量求解与基于P-不变量的Petri网并行化方法.实验结果表明,基于P-不变量的Petri网系统的并行化方法是可行和有效的.
|
| 关 键 词： | P-不变量 Petri网 分割 并行进程 并行化方法 |
Research on Petri nets parallelization method based on P-invariants |
| |
| LI Wen-jing,WANG Ru-liang,LIAO Wei-zhi.Research on Petri nets parallelization method based on P-invariants[J].Computer Engineering and Design,2009,30(16). |
| |
| Authors: | LI Wen-jing WANG Ru-liang LIAO Wei-zhi |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
