首页 | 本学科首页   官方微博 | 高级检索  
     检索      

高级 Petri网并行化预处理方法的研究
引用本文:李文敬,廖伟志,元昌安,李双.高级 Petri网并行化预处理方法的研究[J].广西大学学报(自然科学版),2013(5).
作者姓名:李文敬  廖伟志  元昌安  李双
作者单位:1. 广西师范学院 计算机与信息工程学院,广西 南宁,530023
2. 嘉兴学院 数理与信息工程学院,浙江 嘉兴,314001
基金项目:国家自然科学基金资助项目(61163012);广西自然科学基金资助项目(2012 GXNSFAA053218);广西高校科学技术研究项目
摘    要:为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网( Place/Transition Net)的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究,并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明,提出的高级Petri网并行化预处理方法是可行而有效的。

关 键 词:高级Petri网  结构模型  代数模型  P/T网  并行化预处理方法

Pretreatment method of senior Petri nets parallelization
LI Wen-jing , LIAO Wei-zhi , YUAN Chang-an , LI Shuang.Pretreatment method of senior Petri nets parallelization[J].Journal of Guangxi University(Natural Science Edition),2013(5).
Authors:LI Wen-jing  LIAO Wei-zhi  YUAN Chang-an  LI Shuang
Abstract:
Keywords:senior Petri nets  structural model  algebraic model  P/T nets  parallelization pretreat-ment method
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号