收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于Petri网下的离散事件的模拟与动态系统的验证

孟永刚  
【摘要】:Petri网适合于网络环境下的信息处理系统的描述和建模。它的主要特性包括:并行、不确定性、异步及分步描述能力和分析能力。Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于离散事件系统的模拟和分析。例如:Petri网可以很好地描述多处理器计算机系统、计算机网络、交通控制系统等。Petri网作为一种图形工具,除了可以用作类似于流程图、框图和网图等可视交互工具外,重要的在于它用静态的直观图形蕴涵着系统的动态行为,这是经典图论不能具备的特点;同时它又包容经典图论,几乎所有图论的结论、方法都可以直接、间接地使用和借鉴;而经典图论在描述网络环境时是困难的。 Petri网是一个有着深刻的学术内涵,又有着广阔的应用背景的计算机理论与应用的学科分支。作为一种数学工具,可以对Petri网建立状态方程、代数方程以及和逻辑之间的联系等。根据需要从不同的角度出发,采用方便的分析工具,通过分析静态特征把握系统的动态行为,这就是Petri网的研究的方法论;另外,Petri网有着自我解释的能力。比如在计算机科学中,进程是一个非常重要的概念。在Petri网研究中,通过进程研究网的性质,同时进程的定义又可以用Petri网的特殊子类——出现网给出。


知网文化
【相似文献】
中国期刊全文数据库 前20条
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 汪胜荣;郑连清;;一种能量高效的无线传感器网络分簇路由设计[J];大连海事大学学报;2011年03期
7 王英新;毛羽强;;粗糙集在Petri网中的应用[J];承德石油高等专科学校学报;2011年02期
8 邵丽丽;;基于Petri网的电梯系统规格说明[J];长春大学学报;2011年06期
9 林婧;;基于Petri网和概念格的服务发现与组合[J];电子商务;2011年07期
10 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
11 秦娜;;基于Petri网模型的府际利益均衡分析[J];社科纵横;2011年07期
12 孔东明;史贤俊;;数模混合电路故障诊断方法的研究[J];电子设计工程;2011年14期
13 林惠标;焦志刚;;基于带抑止弧Petri网的PLC梯形图设计方法[J];机电工程技术;2011年04期
14 何剑宇;;基于Petri网统计分析模型在目标监控中的应用[J];辽宁师专学报(自然科学版);2011年02期
15 孙妍姑;;基于Petri网的网格工作流建模与优化[J];淮南师范学院学报;2011年04期
16 赵业清;朱道飞;王华;毕贵红;王建军;;基于Petri网和Agent的复杂适应系统建模[J];计算机工程;2011年15期
17 张昊;;基于工作流技术的高校教务管理系统[J];沈阳师范大学学报(自然科学版);2011年03期
18 王枝楠;王兆青;;基于UML和Petri网的锅炉仿真系统的研究[J];工业控制计算机;2011年08期
19 刘丙杰;刘勇志;黄岳;;基于克隆选择算法的学习型Petri网及在潜在通路分析中的应用[J];航天控制;2011年04期
20 冯云;;关于P/T系统中冲突的讨论[J];电脑知识与技术;2011年18期
中国重要会议论文全文数据库 前10条
1 黄英;谭益智;;基于PC的离散事件控制系统[A];1994中国控制与决策学术年会论文集[C];1994年
2 王凯;吴维敏;陆飞华;;DES的Petri网控制器设计LIP方法的扩展[A];2005中国控制与决策学术年会论文集(上)[C];2005年
3 赵新昱;于云程;张维明;;Petri网仿真平台设计与实现[A];1996年中国智能自动化学术会议论文集(下册)[C];1996年
4 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
5 赵不贿;王霄;赵德安;蔡兰;;人工智能中的Petri网方法[A];1998年中国智能自动化学术会议论文集(上册)[C];1998年
6 颜文俊;孙优贤;;蒸煮过程的离散事件建模[A];1994中国控制与决策学术年会论文集[C];1994年
7 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
8 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
9 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
10 谢东;韩曾晋;;一类混合系统动态过程的Petri网描述[A];1996中国控制与决策学术年会论文集[C];1996年
中国博士学位论文全文数据库 前10条
1 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
2 吴维敏;离散事件系统的Petri网控制器综合[D];浙江大学;2002年
3 张瑶瑶;基于约束转换的离散事件系统监控器综合[D];浙江大学;2007年
4 陆飞华;离散事件系统的混合监控理论[D];浙江大学;2009年
5 王寿光;基于简化技术的离散事件系统控制器的综合[D];浙江大学;2005年
6 陶泽;基于Petri网和混合遗传算法的JSP优化调度[D];东北大学;2006年
7 韦娜;基于无死锁初始标识的Petri网控制器设计[D];西安电子科技大学;2008年
8 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年
9 王安荣;Petri网基本信标的求取算法及死锁避免策略研究[D];西安电子科技大学;2009年
10 张悦;混杂系统建模与控制方法研究[D];华北电力大学(河北);2008年
中国硕士学位论文全文数据库 前10条
1 孟永刚;基于Petri网下的离散事件的模拟与动态系统的验证[D];西华大学;2006年
2 田维新;基于Petri网的离散事件系统仿真模型及其应用研究[D];华中科技大学;2006年
3 王四平;基于Petri网的混合系统建模、分析与设计研究[D];江苏大学;2002年
4 茹雨;一类禁止状态规范下Petri网控制器的综合[D];浙江大学;2005年
5 张东红;离散事件系统的Petri网控制方法研究[D];西安电子科技大学;2000年
6 宋娜;基于Petri网的化工间歇过程特征状态监督器[D];北京化工大学;2008年
7 龚波;基于WITNESS的生产物流系统仿真研究[D];武汉理工大学;2008年
8 叶剑虹;Petri网的模拟与验证[D];西华大学;2006年
9 刘文秀;单片机系统仿真[D];沈阳工业大学;2004年
10 汪佳;某转向器制造企业生产物流系统仿真研究[D];南京理工大学;2008年
中国重要报纸全文数据库 前6条
1 李兵峰 本报特约通讯员  刘明松;掌声背后的追求[N];解放军报;2006年
2 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
3 记者陈欣然 通讯员张丽;南大教授李勇建获中国青年科技奖[N];天津教育报;2010年
4 本报记者 沈力钧;决战新媒体竞争时代[N];计算机世界;2004年
5 国防科技大学教授 金士尧;计算机仿真与仿真计算机[N];解放军报;2001年
6 韩世坤 陈继勇;构建企业跨国并购智力支持体系[N];亚太经济时报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978