收藏本站
《中国自动化学会控制理论专业委员会B卷》2011年
收藏 | 手机打开
二维码
手机客户端打开本文

Petri网系统本原有效受控可重复向量分析

岳昊  李文杰  陈宝兴  
【摘要】:Petri的有效受控可重复向量反映的是网系统的动态性质,并可用于确定网语言的属性。然而,一个Petri网系统通常具有无限多个有效受控可重复向量。因此,有必要用有限的形式表示无限多个有效受控可重复向量。为此,类比于Petri网基网的中的本原可重复向量,本文提出了Petri网系统(N,M_0)中的本原有效受控可重复向量集(记为SPECRV(N,M_0))。文中分析了有效受控可重复向量的三条性质,并且证明:由SPECRV(N,M_0)中一些元素分量同零的大小关系,可以判定所有的有效受控可重复向量中一些元素分量同零的大小关系。这些结论将在网系统的动态性质,如活性和公平性的判定中发挥作用。最后,通过一个具体实例展示本文结论的正确性和有效性。

【参考文献】
中国期刊全文数据库 前1条
1 蒋昌俊;求有效极小(受控)可重复向量的一个算法[J];计算机学报;1994年08期
【共引文献】
中国期刊全文数据库 前10条
1 郭峰;姚淑珍;;基于Petri网的UML状态图的形式化模型[J];北京航空航天大学学报;2007年02期
2 付玲莉;聂承启;;基于Petri网的工作流仿真建模研究[J];江西师范大学学报(自然科学版);2006年01期
3 谭丹;乐晓波;;基于Petri网的乐音体系建模[J];长沙电力学院学报(自然科学版);2006年01期
4 蒋昌俊;矢量文法与PN机[J];中国科学A辑;1995年12期
5 卞晓丰;周学海;;用于WCET静态分析的MIPS处理器建模方法研究[J];计算机研究与发展;2006年10期
6 张继军;Petri网控制结构的合成运算[J];计算机工程与应用;2005年20期
7 孙满围;李俊山;韩先锋;;基于扩展计算网的分层网格工作流支撑环境[J];计算机工程;2006年14期
8 李涛;钟诗胜;;基于着色时间Petri网的工作流模型及其性能分析[J];计算机辅助设计与图形学学报;2006年06期
9 蒋昌俊;PN机[J];计算机学报;1998年S1期
10 曾庆田,吴哲辉;Petri网的进程网系统[J];计算机学报;2002年12期
中国重要会议论文全文数据库 前6条
1 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
2 葛丹;郑会颂;姚国章;;应急管理工作流模型的研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
3 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
4 鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
5 张雷;;一种计算机取证的时间Petri网推理方法[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
6 童朝南;李宝峰;;电梯群控系统的Petri网建模与分析[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 张世超;Norm支持的虚拟组织关键技术研究[D];复旦大学;2005年
2 陈荣;面向网格计算的按需入侵检测模型及关键技术研究[D];浙江大学;2005年
3 肖郑进;面向企业应用的工作流精简建模研究[D];浙江大学;2006年
4 李景霞;基于扩展颜色Petri网的Web服务组合建模研究[D];中国科学院研究生院(计算技术研究所);2006年
5 胡勇其;基于语义的数据对象访问和存储管理研究[D];中国科学院研究生院(计算技术研究所);2006年
6 双锴;下一代网络业务控制能力的研究[D];北京邮电大学;2006年
7 李涛;基于着色时间工作流网的产品数据管理系统的研究[D];哈尔滨工业大学;2006年
8 蒋昌俊;并发系统综合的PN行为理论及其应用[D];中国科学院研究生院(计算技术研究所);1998年
9 赵惠祥;城市轨道交通系统的运营安全性与可靠性研究[D];同济大学;2006年
10 陈余庆;多移动机器人的协作运动控制研究[D];大连理工大学;2006年
中国硕士学位论文全文数据库 前10条
1 于枫;有界Petri网的合法引发序列判定算法[D];山东科技大学;2003年
2 邱经华;Petri网的改良可达树及可达性判定[D];山东科技大学;2004年
3 张颖利;汽车制造企业生产物流的系统分析与优化[D];南京林业大学;2005年
4 吴凌燕;基于Petri网的智能机器人系统死锁检测[D];南京理工大学;2005年
5 曹大海;基于着色Petri网的图形化工作流建模工具的设计与实现[D];清华大学;2005年
6 王喆;基于着色Petri网的工作流执行服务的设计与实现[D];清华大学;2005年
7 时亚娟;面向工作流的优化问题求解方法研究[D];河北工业大学;2006年
8 聂丽平;基于UCON访问控制模型的分析与研究[D];合肥工业大学;2006年
9 孟永刚;基于Petri网下的离散事件的模拟与动态系统的验证[D];西华大学;2006年
10 刘通;Petri网在制造业物流系统中的应用[D];西安建筑科技大学;2006年
【二级参考文献】
中国期刊全文数据库 前1条
1 蒋昌俊,吴哲辉;Petri网的标注可达树[J];软件学报;1993年06期
【相似文献】
中国期刊全文数据库 前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网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
2 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
3 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
4 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
5 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
6 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
7 王小梅;李新明;刘东;韩星晔;;基于Petri网的网络传输协议建模与性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
8 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
9 韩亚欣;罗明宇;谭跃进;;主生产调度过程的随机Petri网模型[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年
10 张春雷;孙志挥;陈淼;;一种基于PETRI高级网的工作流动态建模方法[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
中国重要报纸全文数据库 前10条
1 ;值得注意的免费安全工具[N];网络世界;2004年
2 李春喜;汤姆逊要做消费电子中国魁首[N];中国计算机报;2003年
3 陈列欢;高剂量疗法可治红斑狼疮[N];医药经济报;2003年
4 金华;微软X#的一些推测[N];中国计算机报;2003年
5 陈秉林;美国汽车旅游的启示[N];中国旅游报;2003年
6 略雨 编译;超越历史尘封的永恒[N];中国商报;2001年
7 ;厂商全方位备战3G[N];计算机世界;2004年
8 千弼 君毅;为智能手机市场投下变量[N];电子资讯时报;2003年
9 ;汇丰银行人事大变动[N];国际金融报;2003年
10 黄梦/编译;小心行得万年船[N];电脑商报;2004年
中国博士学位论文全文数据库 前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