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

Petri网-VHDL编译程序的构造

赵不贿  陆继远  严仰光  
【摘要】:Petri网适合于异步并发系统建模,将Petri网转换成硬件描述语言,就可以通过EDA工具来实现Petri网控制器.文中给出了Petri网-VHDL编译程序的构造方法.使用CONPAR语言对Petri网进行描述,获得Petri网的CONPAR格式文本文件;由编译软件FLEX生成的词法分析程序产生相应的单词,并将单词传给BYACC程序;再由BYACC程序识别出这些单词,并以自底向上的方式进行归约,形成一棵抽象语法树;最后,自顶向下遍历这棵抽象语法树,将Petri网的CONPAR格式文本转换为VHDL代码.文中给出了一个实例,将编译获得的VHDL代码,通过EDA软件工具MAXPLUSII编译、仿真、综合并下载到系统可编程器件中,仿真波形和试验结果都证明了这个编译程序的正确性.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 常宗虎,边信黔,严浙平,汪玉;AUV实时任务协调方法研究[J];哈尔滨工程大学学报;2004年04期
2 陈浩勋;一类受控Petri网的状态反馈逻辑的综合[J];自动化学报;1996年05期
3 王晓宇;欧阳丹彤;赵相福;常晓环;;离散事件系统的同步诊断算法[J];计算机科学;2010年02期
4 邢科义,席裕庚,胡保生;具有不可控变迁离散事件系统的Petri网控制器[J];自动化学报;2001年02期
5 黄君梅;孟正大;李俊;;一类Petri网及其在离散事件系统的仿真与控制中的应用[J];工业控制计算机;2006年11期
6 陈浩勋,韩崇昭,邵福庆,胡保生;FMS的实时调度与控制方法研究[J];信息与控制;1991年S1期
7 王玲,马世骁,李凤阳;离散事件系统一类禁止状态避免控制[J];沈阳工业学院学报;1996年03期
8 罗继亮;吴维敏;董利达;苏宏业;褚健;;一类离散事件系统的监控器综合[J];控制理论与应用;2007年04期
9 薛飞,郑大钟;基于赋时事件图的故障诊断(英文)[J];控制理论与应用;2005年04期
10 王寿光;;基于局部关联矩阵的Petri网监控器的综合[J];江南大学学报(自然科学版);2007年03期
11 董利达;兰守珍;陈桂忠;;针对有限禁止状态的Petri网控制器综合[J];浙江大学学报(工学版);2008年11期
12 吴维敏,苏宏业,褚健;基于有限容量库所的离散事件系统的Petri网控制器综合——第1部分(英文)[J];控制理论与应用;2003年02期
13 吴维敏,苏宏业,褚健;基于有限容量库所的离散事件系统的Petri网控制器综合——第2部分(英文)[J];控制理论与应用;2003年02期
14 陶泽;肖田元;郝长中;;具有混合约束的离散事件系统的Petri网控制器的研究[J];计算机集成制造系统;2007年08期
15 李俊;戴先中;孟正大;;一类用于网变换的Petri网代数系统[J];东南大学学报(自然科学版);2010年06期
16 廖伟志;古天龙;蔡国永;;生产时间可变间歇过程的Petri网模型及其调度[J];计算机集成制造系统;2009年01期
17 罗继亮;吴维敏;苏宏业;褚健;;事件图的混合控制器设计[J];自动化学报;2007年02期
18 古天龙,高衿畅,周春晖;离散事件动态系统的受控Petri网控制研究[J];桂林电子工业学院学报;1995年04期
19 赵不贿;基于Petri网密码系统的实现[J];江苏理工大学学报(自然科学版);2001年04期
20 陈浩勋,胡保生;位置互连Petri网的分散与协调控制[J];信息与控制;1993年03期
中国重要会议论文全文数据库 前10条
1 黄英;谭益智;;基于PC的离散事件控制系统[A];1994中国控制与决策学术年会论文集[C];1994年
2 赵新昱;于云程;张维明;;Petri网仿真平台设计与实现[A];1996年中国智能自动化学术会议论文集(下册)[C];1996年
3 王凯;吴维敏;陆飞华;;DES的Petri网控制器设计LIP方法的扩展[A];2005中国控制与决策学术年会论文集(上)[C];2005年
4 赵不贿;王霄;赵德安;蔡兰;;人工智能中的Petri网方法[A];1998年中国智能自动化学术会议论文集(上册)[C];1998年
5 颜文俊;孙优贤;;蒸煮过程的离散事件建模[A];1994中国控制与决策学术年会论文集[C];1994年
6 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
7 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
8 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
9 谢东;韩曾晋;;一类混合系统动态过程的Petri网描述[A];1996中国控制与决策学术年会论文集[C];1996年
10 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
中国博士学位论文全文数据库 前10条
1 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
2 吴维敏;离散事件系统的Petri网控制器综合[D];浙江大学;2002年
3 张瑶瑶;基于约束转换的离散事件系统监控器综合[D];浙江大学;2007年
4 王寿光;基于简化技术的离散事件系统控制器的综合[D];浙江大学;2005年
5 陆飞华;离散事件系统的混合监控理论[D];浙江大学;2009年
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];南京理工大学;2008年
10 张海霞;电网连锁故障发展模式的搜索策略研究[D];华北电力大学(北京);2008年
中国重要报纸全文数据库 前10条
1 ;四至七层交换技术的硬件实现[N];计算机世界;2001年
2 ;全球首款硬件实现杜比5.1输出的 Zalman ZM-RS6F耳机[N];中国计算机报;2003年
3 李兵峰 本报特约通讯员  刘明松;掌声背后的追求[N];解放军报;2006年
4 本报记者 郭平;用硬件实现精简配置2.0[N];计算机世界;2008年
5 湖南 郭学提;Keil 51与Proteus isis的完美组合[N];电子报;2009年
6 陈立希;英特尔“扼杀”竞争遭起诉[N];经济参考报;2009年
7 任续烨;给网络增加弹性[N];中国计算机报;2003年
8 清水 编译;片上IT:从芯片层面提升硬件性能[N];计算机世界;2007年
9 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
10 张峰;方便简洁建存储[N];网络世界;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978