| Petri网系统并行化方法的研究 |
| |
| 引用本文： | 李文敬,王汝凉,蓝贞雄.Petri网系统并行化方法的研究[J].广西大学学报(自然科学版),2009,34(3). |
| |
| 作者姓名： | 李文敬 王汝凉 蓝贞雄 |
| |
| 作者单位： | 广西师范学院计算机与信息工程学院,广西南宁,530001 |
| |
| 基金项目： | 国家自然科学基金资助项目，广西自然科学基金资助项目 |
| |
| 摘 要： | 对Petri网系统并行化一般方法的研究.给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量的Petri网并行化问题进行讨论,确定其不存在并行进程,Petri网不能并行化;提出Petri网系统并行化的一般方法和实现步骤,使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法.
|
| 关 键 词： | Petri网 网转换 网分割 创建进程 并行化方法 |
Research on petri net systems parallelization method |
| |
| LI Wen-jing,WANG Ru-liang,LAN Zhen-xiong.Research on petri net systems parallelization method[J].Journal of Guangxi University(Natural Science Edition),2009,34(3). |
| |
| Authors: | LI Wen-jing WANG Ru-liang LAN Zhen-xiong |
| |
| Institution: | College of Computer and Information Engineering;Guangxi Teachers Education University;Nanning 530001;China |
| |
| Abstract: | The general parallelization method of Petri net system.The reasons of using P/T Net as a research bject and the conditions is investigated to greate parallel process and the partitioning technique for petri net system based on p-invarants are proposed.The parallelization conditions and methods of Non-negative place and shared place processes are presented and then they are proven and verified.The Petri Nets parallelization problem of the non-existence P-invariant is discussed.It is found that their concurre... |
| |
| Keywords: | petri nets petri conversion petri partition creation process parallelization method |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
