收藏本站
《山东科技大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

有色Petri网的动态性质判定及其在组装生产线中的应用

李蕾  
【摘要】:有色Petri网作为一类特殊的Petri网模型语言,特别适用于并发、同步和资源共享起主要作用的系统。它结合了一般Petri网过程互操作特性和高级程序语言的数据类型定义及数据处理的能力。CPNs有比较正式的形式化定义及其解释,还包括一系列动态行为属性。 Petri网是事件驱动系统建模的十分有用的工具。这些系统可以是异步的,可能包括顺序的和并行的操作,并可能涉及冲突、互斥及非确定性。有色Petri网增强了Petri网描述系统的能力。状态空间分析和性能分析是用CPNs进行生产过程分析的两个重要技术。一般地,为了便于进行状态空间分析,首先要对需要分析的CPNs模型作某些修改,从而得到一个包含有限状态空间的CPNs模型。 虽然状态空间分析是进行业务过程分析的两个重要技术之一,但是如何从理论上借助状态空间分析去判定CPNs的各种动态属性,这方面的研究还少之又少。在这篇论文中,借助于状态空间分析从理论上研究了CPNs的各种动态属性的判定方法,从而为手工验证CPNs的各种动态属性提供理论基础。另外,本文用CPNs形式化描述方法来实现组装生产线模型,力图提供一套一致、简单、有效、充分的形式化方法来表示存在于组装生产过程中产生的逻辑关系。其最终目的是要达到:1)从实现角度提高组装生产线系统的研究效率;2)提高系统的可理解性和可维护性。最后,通过状态空间分析进行动态属性验证,得到系统模型的行为属性分析结果。
【学位授予单位】:山东科技大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP301.1

【相似文献】
中国期刊全文数据库 前10条
1 刘莉莉,傅铅生;应用Petri Net方法建模分析制造企业ERP的实施工程[J];航空工程与维修;2002年06期
2 谭宁;;基于Petri网的办公自动化系统结构模型设计[J];硅谷;2009年12期
3 林绍森;李晓兰;;采用Petri技术构建高校应急预案管理模型[J];硅谷;2010年24期
4 林群,关志超,杨东援;区域性枢纽城市物流公共信息平台体系结构Petri网研究[J];计算机工程与应用;2005年06期
5 郑怡文;;基于时延Petri网的肯定型工程关键工序的求解[J];福建电脑;2008年07期
6 刘峻;;药品批发分销网络的petri网建模[J];科学决策;2008年10期
7 赵相安;陈洪辉;何明;姜志平;;基于Petri网的武器装备体系能力需求仿真验证方法[J];系统仿真学报;2009年04期
8 王岚;张国宁;;维修保障仿真模型的HLA兼容性改造[J];计算机与网络;2009年19期
9 金涛;闻立杰;王建民;;行为因果关系的分类与判定[J];系统仿真学报;2011年S1期
10 修少驹;描述数字系统中并行过程与控制的理论模型——Petri-网[J];计算机工程与应用;1980年05期
中国重要会议论文全文数据库 前10条
1 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
2 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
3 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
4 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
5 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
6 王小梅;李新明;刘东;韩星晔;;基于Petri网的网络传输协议建模与性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
7 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
8 韩亚欣;罗明宇;谭跃进;;主生产调度过程的随机Petri网模型[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年
9 张春雷;孙志挥;陈淼;;一种基于PETRI高级网的工作流动态建模方法[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
10 刘玉君;张帆;李瑞;;基于Petri网理论的造船项目工作流建模研究[A];2011中国造船工程学会造船工艺学术委员会造船企业精益生产学术研讨会论文集[C];2011年
中国重要报纸全文数据库 前10条
1 记者 潘荣进 通讯员 高振兴 赵明华;国检提供救急式服务[N];泰州日报;2010年
2 本报记者 孙晓红;自主研发——华晨金杯的品牌保证[N];当代汽车报;2005年
3 朱娅利 杨志明;沁阳市大力实施工业带动战略[N];焦作日报;2006年
4 ;值得注意的免费安全工具[N];网络世界;2004年
5 顾明亮本报记者 胡新平;江西恒力:三年实现惊人嬗变[N];抚州日报;2008年
6 陈晓晟;海信进军上游剑指国际化[N];通信信息报;2008年
7 记者 马波;新一批180个重大项目推出[N];天津日报;2011年
8 林昌明 DigiTimes;松下启动俄罗斯平板电视组装生产线[N];电子资讯时报;2006年
9 李祖春;一批项目陆续开工[N];吉林日报;2006年
10 李纯君 DigiTimes;矽品加码投资苏州厂[N];电子资讯时报;2006年
中国博士学位论文全文数据库 前10条
1 李绍勇;基于信标迭代控制的Petri网死锁预防策略[D];西安电子科技大学;2011年
2 陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
3 孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年
4 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
5 李海凌;基于Petri网工作流技术的工程项目群管理研究[D];西南交通大学;2012年
6 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
7 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
8 王玉英;基于赋时有色Petri网的Web服务组合建模验证与测试技术研究[D];西安电子科技大学;2012年
9 秦萌;存在不可控与不可观变迁的Petri网活性控制器设计[D];西安电子科技大学;2011年
10 胡核算;自动制造系统的Petri网控制器设计及优化[D];西安电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 李亚南;基于区域理论的Petri网活性控制器优化设计[D];西安电子科技大学;2010年
2 何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;2010年
3 王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
4 翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
5 杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;2010年
6 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
7 赵冬霞;基于面向对象时间Petri网的物流配送业务流程优化与仿真[D];哈尔滨工业大学;2010年
8 李桂枝;皮带机群控系统的Petri网建模与规则化描述[D];合肥工业大学;2011年
9 高峰;组合式Petri网对PI演算的转换与验证[D];吉林大学;2010年
10 赵珊;基于UML和Petri网模型验证框架的设计与实现[D];西安建筑科技大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026