收藏本站
《计算机科学与探索》 2008年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

层次结构的Petri网

郝克刚  丁剑洁  
【摘要】:Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结点数和引入层次结构的方法,而且从结构上讨论了它们相互之间的关系。
【作者单位】西北大学信息科学与技术学院 西北大学信息科学与技术学院
【关键词】Petri网 层次结构 位置精化网 转移精化网 对象网 着色网 开放网
【基金】:国家高技术研究发展计划(863)No.2007AA010305~~
【分类号】:TP301.1
【正文快照】:
1引言Petri网是一个很好的描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的情况。而系统的组合状态数又随结点数成指数函数增长,这就是所谓的组合爆炸问题。解决此问题的办法是尽量减少模型的结点个数。一种办法是直接寻找具有可减少结

【参考文献】
中国期刊全文数据库 前1条
1 郝克刚;开放网—交互式并行系统的模型[J];西北大学学报(自然科学版);1997年06期
【共引文献】
中国期刊全文数据库 前4条
1 刘悦;等价标识在谓词/变迁网系统可达树规模缩减中的应用[J];山东科技大学学报(自然科学版);1997年04期
2 郝克刚;开放网—交互式并行系统的模型[J];西北大学学报(自然科学版);1997年06期
3 葛玮,王斌君,郝克刚;一种基于Petri网的半形式化面向对象的开发方法[J];西北大学学报(自然科学版);1995年05期
4 郝克刚,王斌君;非确定Petri网[J];小型微型计算机系统;2003年03期
中国博士学位论文全文数据库 前10条
1 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年
2 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
3 郭军;基于Petri网的嵌入式系统高层级设计方法与技术研究[D];西北大学;2007年
4 潘洪军;面向对象代数Petri网模型研究[D];吉林大学;2007年
5 张瑶瑶;基于约束转换的离散事件系统监控器综合[D];浙江大学;2007年
6 童晓阳;电网广域后备保护多Agent系统信息模型的研究[D];西南交通大学;2007年
7 田娥;基于Petri网建模的机务段业务流程控制信息化系统的研究[D];武汉理工大学;2007年
8 鲁晓春;物流系统着色Petri网模型研究[D];北京交通大学;2008年
9 王斌;工作流模型若干问题的研究及其在广电运营系统中的实现[D];广东工业大学;2008年
10 宣琦;基于复杂网络理论的复杂调度问题求解方法研究[D];浙江大学;2008年
中国硕士学位论文全文数据库 前10条
1 刘关俊;关于Petri网可重复向量及死锁的求解算法[D];山东科技大学;2006年
2 孔德华;基于Petri网的并行分布计算中的调度问题的研究[D];山东科技大学;2006年
3 徐誉尹;Petri网活性判定方法的探讨[D];山东科技大学;2006年
4 方欢;基于Petri网的多主体协作的研究[D];山东科技大学;2006年
5 陈智新;基于OPN的FMS单元控制器设计与开发[D];北京交通大学;2006年
6 谢五峰;MES生产调度系统的研究[D];北京交通大学;2007年
7 刘士喜;基于随机Petri网的分布式系统可信赖性研究[D];安徽理工大学;2007年
8 蓝乾艺;基于约束程序的Petri网可达问题的研究[D];广西大学;2007年
9 马亮;基于J2EE的工作流技术在宽带增值业务中的应用研究[D];成都理工大学;2007年
10 张稳生;基于Petri网的等级保护与风险评估流程建模研究[D];重庆大学;2007年
【同被引文献】
中国期刊全文数据库 前10条
1 曾庆田;基于同步合成的结构复杂Petri网的行为描述(英文)[J];软件学报;2004年03期
2 周建涛,史美林,叶新铭;工作流过程建模中的形式化验证技术[J];计算机研究与发展;2005年01期
3 周建涛,史美林,叶新铭;一种基于Petri网化简的工作流过程语义验证方法[J];软件学报;2005年07期
4 李建强,范玉顺;工作流模型时间有界性验证与分析研究[J];计算机集成制造系统-CIMS;2002年10期
5 林闯;随机Petri网模型的精化设计[J];软件学报;2000年01期
6 蒲飞,陆维明,宋文;共享合成Petri网系统的语言递归性与系统活性[J];软件学报;2004年03期
7 赵文,袁崇义,刘刚,张世琨,王立福;基于P/T系统化简方法的工作流过程模型验证[J];软件学报;2004年10期
8 汪亚男,王明哲;赋时着色Petri网在建模仿真中的应用[J];兵工自动化;2005年01期
9 付玲莉;聂承启;;基于Petri网的工作流仿真建模研究[J];江西师范大学学报(自然科学版);2006年01期
10 王小明,赵宗涛,马建峰;一种新的RBAC角色协同关系及其Petri网模型[J];电子学报;2003年02期
中国博士学位论文全文数据库 前2条
1 朱海平;支持业务流程管理的工作流建模和分析理论研究[D];华中科技大学;2004年
2 汪军;网络化制造中面向流程重用的业务流程组合研究[D];重庆大学;2006年
中国硕士学位论文全文数据库 前2条
1 崔丽霞;基于Petri网的汽车制造业采购业务流程仿真优化研究[D];吉林大学;2005年
2 张文诺;基于Petri网的汽车生产物流流程仿真优化研究[D];吉林大学;2007年
【二级参考文献】
中国期刊全文数据库 前1条
1 葛玮,王斌君,郝克刚;一种基于Petri网的半形式化面向对象的开发方法[J];西北大学学报(自然科学版);1995年05期
【相似文献】
中国期刊全文数据库 前10条
1 包得海;赵海阔;;Petri网在旅游管理系统中的应用[J];陇东学院学报;2011年04期
2 董振华;董笑菊;;有界Petri网的进程演算表达[J];上海交通大学学报;2011年07期
3 霍敏霞;丁晓明;;基于Petri网的并发程序测试用例产生方法[J];计算机科学;2011年09期
4 喻平;曹继平;宋建社;梁中雨;;基于Petri网的系统最小割集求解[J];系统仿真技术;2011年02期
5 施於人;代应;;eEPC与Petri网在流程改进建模中的比较[J];重庆理工大学学报(自然科学);2011年07期
6 王英新;毛羽强;;粗糙集在Petri网中的应用[J];承德石油高等专科学校学报;2011年02期
7 邵丽丽;;基于Petri网的电梯系统规格说明[J];长春大学学报;2011年06期
8 秦娜;;基于Petri网模型的府际利益均衡分析[J];社科纵横;2011年07期
9 孙妍姑;;基于Petri网的网格工作流建模与优化[J];淮南师范学院学报;2011年04期
10 张昊;;基于工作流技术的高校教务管理系统[J];沈阳师范大学学报(自然科学版);2011年03期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
2 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
3 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
4 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
5 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
6 傅荣;刘超男;;面向对象系统分析与设计中动态模型的Petri网描述[A];1999中国控制与决策学术年会论文集[C];1999年
7 胡少媚;贺晓波;;支持快速反应的过程管理模型和仿真[A];制造业与未来中国——2002年中国机械工程学会年会论文集[C];2002年
8 胡红革;赵强;黄大贵;;分布式控制系统的混合Petri网建模和分析[A];第二届全国信息获取与处理学术会议论文集[C];2004年
9 张朝辉;刘大有;刘伟江;;工作流建模技术综述[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
10 乔非;吴启迪;严隽薇;;基于扩展Petri网的FMS调度结构[A];1998中国控制与决策学术年会论文集[C];1998年
中国重要报纸全文数据库 前10条
1 朱杰;pureXML:引发数据库技术新一轮革命[N];中国计算机报;2007年
2 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
3 Breck Carter 沈建苗 译;创建移动Wi-Fi应用程序[N];计算机世界;2006年
4 马路 刁毅刚 武国卫 李涓子;用XML统一信息格式[N];计算机世界;2006年
5 陈彦卓;IBM发布第三代数据库DB29[N];中国电脑教育报;2006年
6 张学琦;厂商发力企业级搜索 国内市场待开拓[N];中国电子报;2008年
7 谢涛;发布DB2V9.0 IBM全面支持XML[N];电脑商报;2006年
8 本报记者 陈淑娟;软件强化企业质量管理[N];计算机世界;2008年
9 清水;信息可视化:畅游网络空间的伴侣[N];计算机世界;2004年
10 ;麒麟远创:虚拟供应链管理解决方案[N];计算机世界;2004年
中国博士学位论文全文数据库 前10条
1 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
2 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
3 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
4 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
5 田世海;高技术虚拟企业信息系统平台研究[D];哈尔滨理工大学;2008年
6 王安荣;Petri网基本信标的求取算法及死锁避免策略研究[D];西安电子科技大学;2009年
7 高昆;基于DSP并行处理系统的虚拟仪器设计方法的研究[D];浙江大学;2002年
8 郭军;基于Petri网的嵌入式系统高层级设计方法与技术研究[D];西北大学;2007年
9 马敏;并行多任务自动测试系统分层化建模及其关键技术研究[D];电子科技大学;2008年
10 冯晓宁;基于本体的语义Petri网研究及其在系统建模中的应用[D];哈尔滨工程大学;2009年
中国硕士学位论文全文数据库 前10条
1 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
2 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年
3 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
4 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年
5 余永佳;基于Petri网的项目管理、优化和决策技术[D];南京理工大学;2005年
6 周颖;工作流中并发流程间资源冲突的研究[D];山东大学;2005年
7 徐建军;基于Petri网的动态工作流技术研究[D];国防科学技术大学;2004年
8 沈剑沧;XML查询方法研究[D];华东师范大学;2006年
9 彭钰;基于工作流的公文流转系统的研究与实现[D];武汉理工大学;2006年
10 张建东;基于J2EE的工作流系统的研究与实现[D];华北电力大学(河北);2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026