收藏本站
《计算机工程与应用》 1997年10期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

Petri网的绘制与仿真系统

陈曦  
【摘要】:Petri网是一种系统描述和分析的工具,目前已有很广泛的应用。本文介绍了Petri网的绘制与仿真系统的功能及其原理。系统提供网的描述语法与该语法的编译器,并可在屏幕上绘制Petri网、采用两种不同的方式对网进行仿真以帮助用户分析网的性能。
【作者单位】北京航空航天大学软件工程研究所
【分类号】:TP391.9

手机知网App
【引证文献】
中国期刊全文数据库 前2条
1 唐培和;Petri网仿真语言的设计与研究[J];广西工学院学报;2002年04期
2 曹阳,张维明,沙基昌,徐磊;Petri网在通信网络仿真建模中的应用[J];计算机仿真;2001年03期
中国博士学位论文全文数据库 前1条
1 张予川;基于组件的机械CAD并行开发方法的研究[D];武汉理工大学;2002年
中国硕士学位论文全文数据库 前4条
1 王志勇;柔性CAPP建模与柔性工艺表示方法的研究[D];燕山大学;2001年
2 刘莉莉;ERP实施工程的建模仿真方法的研究[D];南京航空航天大学;2003年
3 高建海;制造信息化中的CAPP[D];河北工业大学;2004年
4 吴凌燕;基于Petri网的智能机器人系统死锁检测[D];南京理工大学;2005年
【参考文献】
中国期刊全文数据库 前2条
1 王晖;张然;;软件过程的OPEN描述与面向过程的CASE环境[J];计算机科学;1994年01期
2 陆维明;林闯;;Petri网研究:机遇与挑战[J];计算机科学;1994年04期
【共引文献】
中国期刊全文数据库 前7条
1 徐树维;季超;;Petri网基本模型、子类分析及应用[J];福建电脑;2006年03期
2 董红斌,杨巨庆;Petri网:概念、分析方法和应用[J];哈尔滨师范大学自然科学学报;1999年05期
3 吕丽民,陈火旺;基于Petri网模型的主动对象研究[J];计算机工程与科学;1997年02期
4 刘建昆;宋文;周涛;;基于Petri网的列控系统形式化分析方法[J];计算机应用;2013年04期
5 叶阳东,贾利民;基于对象Petri网的列车运行模型及仿真[J];系统仿真学报;2002年02期
6 叶阳东,贾利民;带有对象的Petri网及其在列车运行模型建立中的应用[J];中国铁道科学;2001年03期
7 叶阳东,贾利民;模糊离散事件动态系统相关问题的研究[J];中国铁道科学;2001年06期
中国重要会议论文全文数据库 前2条
1 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
2 叶阳东;贾利民;;模糊离散事件动态系统的研究[A];2001年中国智能自动化会议论文集(上册)[C];2001年
中国博士学位论文全文数据库 前4条
1 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
2 张予川;基于组件的机械CAD并行开发方法的研究[D];武汉理工大学;2002年
3 陆洪毅;32位高性能嵌入式向量微处理器关键技术的研究与实现[D];中国人民解放军国防科学技术大学;2002年
4 夏世芬;基于Petri网模型的归结自动推理研究[D];西南交通大学;2006年
中国硕士学位论文全文数据库 前6条
1 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
2 吕书强;基于Petri网模型的混杂电力系统紧急控制[D];北京工业大学;2001年
3 张雷;基于Agent的G-Net三维列车群运行仿真系统的研究[D];郑州大学;2004年
4 曹国梁;关于一种电信专线计费体制的研究与实现[D];中国科学院研究生院(计算技术研究所);1998年
5 陈羽飞;基于Petri网工业生产过程研究[D];华北电力大学(北京);2007年
6 赵德海;基于Petri网的虚拟仪器评测系统研究[D];湘潭大学;2008年
【同被引文献】
中国期刊全文数据库 前10条
1 吴洁明,杨文龙;用Petri网进行并发系统的描述与分析[J];北方工业大学学报;1991年03期
2 褚兴军,范玉青;基于Web技术的产品数据管理研究[J];北京航空航天大学学报;1999年02期
3 柴旭东,李伯虎;基于RTI的PDM框架实现策略[J];北京航空航天大学学报;1999年03期
4 王环球,高金钟,许凤璋;基于Petri网的系统可靠性分析[J];北京轻工业学院学报;1998年02期
5 张铁山,刘泽林,袁念诗,张友良;一种代码与特征组合的信息输入法在汽车零件CAPP系统中的应用[J];汽车工业研究;2001年10期
6 顾苏军,苏斯华;基于并行工程的产品CAD系统研究[J];成组技术与生产现代化;1996年02期
7 何爱新,徐弘山;CAD/CAPP并行集成系统的开发与研究[J];成组技术与生产现代化;1998年04期
8 郭晓泉,徐心和;面向对象扩展着色 Petri 网在装配系统中的应用[J];东北大学学报;1998年03期
9 曾成碧,陈光;可达树分析法及其在测试中的应用[J];电子科技大学学报;1999年05期
10 包卫东;一个原型支持工具及其在FMS仿真中的应用[J];电脑与信息技术;1997年04期
【二级引证文献】
中国期刊全文数据库 前9条
1 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期
2 李霞,余镇危,张英,林捷;一种基于开放结构的MPLS模拟工具——OMST[J];计算机工程与应用;2004年28期
3 赵阳;易先清;罗雪山;;一种基于Petri网原理的数据流模型研究[J];计算机科学;2008年11期
4 满毅;单洪;;形式描述技术在通信协议安全分析中的应用[J];计算机应用;2008年S1期
5 李勇,曹广益,朱新坚;基于混合petri网的网络建模与仿真[J];计算机仿真;2005年06期
6 何世彪;范晔;吴乐华;;战术无线通信指挥仿真系统面向对象建模及实现[J];计算机仿真;2006年01期
7 王志勇;集成环境下CAPP/PPC的动态集成[J];机械与电子;2002年06期
8 龙光正;防空导弹C~3I系统谓词/变迁赋色Petri网建模与仿真[J];系统工程与电子技术;2002年12期
9 彭靖;马耀飞;孙勇;;网络中心战通信仿真模型结构与逻辑研究[J];中国体视学与图像分析;2010年03期
中国博士学位论文全文数据库 前2条
1 周乐荣;电力无缝通信中远动通信、网元与网络模型[D];华南理工大学;2004年
2 王永翔;TCN底层协议建模与实现[D];北京交通大学;2009年
中国硕士学位论文全文数据库 前10条
1 王丽;ERP实施中的业务流程建模与优化研究[D];中国海洋大学;2010年
2 姚勋勋;基于Petri网的列车运行调度问题的研究[D];太原科技大学;2011年
3 邓翔;基于SOA的柔性工艺规划与生产调度集成系统研究与开发[D];南昌大学;2011年
4 李冬春;QCS014A实验台液压系统CAD研究[D];燕山大学;2004年
5 蔡平;分布式多机器人仿真系统的研究与实现[D];南京理工大学;2004年
6 张建朝;扩展类型Petri网应用系统的研究[D];北京化工大学;2004年
7 张楠楠;中小制造业物料管理系统的开发与实现[D];大连理工大学;2006年
8 孟永刚;基于Petri网下的离散事件的模拟与动态系统的验证[D];西华大学;2006年
9 梁贤贞;混合Petri网的工业过程建模与分析[D];北京化工大学;2006年
10 匡迎春;Petri网的化简技术及其在电网故障诊断中的应用[D];长沙理工大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 马亮,汪涛,吴耿锋;基于WfPN的业务流程重组[J];计算机研究与发展;2001年07期
2 黄圣国,孙同江,吕兵;运输网络的最短有向路Petri网仿真算法[J];南京航空航天大学学报;2002年02期
3 孙冬煜;教务排课系统的Petri网建模分析[J];微型电脑应用;2002年11期
4 叶许红,颜钢锋;基于Petri网的办公自动化工作流建模[J];计算机工程与应用;2003年06期
5 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期
6 袁志祥,叶红;电子商务协议的建模方法与分析[J];安徽工业大学学报(自然科学版);2004年03期
7 曾庆田,吴哲辉;Petri网分解的保性条件分析[J];小型微型计算机系统;2004年09期
8 刘道斌,郭莉,白硕;基于Petri网的安全协议形式化分析[J];电子学报;2004年11期
9 郑谦益;面向对象Petri网及其在告警服务代理软件中的应用[J];南京邮电学院学报;2004年04期
10 王文学;用Petri网分析离散事件动态系统[J];控制与决策;1990年01期
中国重要会议论文全文数据库 前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 侯立文;蒋馥;;客户忠诚度提升决策研究[A];2004年中国管理科学学术会议论文集[C];2004年
6 乔非;吴启迪;沈荣芳;;基于Petri网的事务流程模型[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
7 薛静锋;曹元大;;Petri网在入侵检测中的应用[A];第六届全国计算机应用联合学术会议论文集[C];2002年
8 胡红革;黄大贵;谢阅;;混和系统Petri网模型的行为特性及判定方法[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
9 胡瑜;陈光(礻禹);;GPIB高速数据传输协议的Petri网模型及分析[A];首届信息获取与处理学术会议论文集[C];2003年
10 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
中国重要报纸全文数据库 前10条
1 ;SGI推出针对IA-64的编译器Pro64[N];计算机世界;2000年
2 ;什么是编译器[N];中国计算机报;2002年
3 记者 吴苡婷;国内首款商用反编译器上海造[N];上海科技报;2010年
4 浙江 朱永章;初识编译器gcc[N];电脑报;2004年
5 卢旭成;Intel推出编译器专业版 简化开发多核处理器[N];中国计算机报;2007年
6 张兆庆 冯晓兵;我国编译器研发的历史与现状[N];科技日报;2002年
7 刘长忠;共同开发新一代高级软件编译器[N];科技日报;2001年
8 朱亦枫 北京;Altera为NiosⅡ处理器系统提供新C语言至硬件加速工具[N];电子资讯时报;2006年
9 北京中科红旗软件技术有限公司 孔伟;红旗Linux DNS优化[N];中国计算机报;2006年
10 本报记者 胡永生;站在巨人的肩膀上发展[N];科技日报;2002年
中国博士学位论文全文数据库 前10条
1 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
2 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年
3 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
4 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
5 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年
6 周荣辅;基于先进制造技术的制造业生产流程再造研究[D];燕山大学;2007年
7 王占中;基于Petri网的多式联运流程优化研究[D];吉林大学;2007年
8 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年
9 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
10 田世海;高技术虚拟企业信息系统平台研究[D];哈尔滨理工大学;2008年
中国硕士学位论文全文数据库 前10条
1 戴敬周;用Petri网对语义网络歧义性和推理不确定性改进的探索[D];太原理工大学;2002年
2 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年
3 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
4 秦巧妹;安阳供电公司业扩报装流程再造研究[D];华北电力大学(北京);2007年
5 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年
6 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
7 胡辉;业务流程再造(BPR)理论与系统建模仿真研究[D];西安电子科技大学;2005年
8 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年
9 余永佳;基于Petri网的项目管理、优化和决策技术[D];南京理工大学;2005年
10 周颖;工作流中并发流程间资源冲突的研究[D];山东大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026