期刊文献+

基于LabVIEW的Petri网控制器实现 被引量:4

Implementation of Petri nets controller based on LabVIEW
下载PDF
导出
摘要 为使Petri网更易应用于测控系统,提出一种基于图形化编程工具LabVIEW、组件化的时延C/E Petri网系统实现方法.在LabVIEW中,用布尔控件表示Petri网的库所(布尔控件值为TRUE表示库所中有token),用子VI控件表示Petri网的变迁.变迁被触发时,变迁VI控件通过布尔控件的控件引用修改库所的值,并把4种具有不同输入输出库所数量(单进单出、单进多出、多进单出和多进多出)的变迁VI封装成一个多态的变迁元件VI.实现Petri网时,只要简单地组合库所与多态变迁元件即可在LabVIEW里构建一个时延C/E Petri网.构建了一个特定的Petri网,并进行测试.结果表明,控制器的前面板直观反映了系统的运行状态,而后面板程序框图与Petri网具有类似的拓扑结构.通过结合LabVIEW、Petri网这两种图形化语言,使基于Petri网的测控系统的实现更为简单、直观. To apply the Petri nets on measurement and control system widely,a component-based implementation method of time delay C/E Petri nets system was proposed,in which a graphical programming language LabVIEW was adopted.In LabVIEW,the places of Petri nets were represented by Boolean controls('TRUE' of boolean control means place contains token),and the transitions of Petri nets were represented by subVIs.Transition subVI would change the value of places by the Boolean controls reference when it was fired.Four transition subVIs with different number of input/output places(SISO,SIMO,MISO,MIMO) were bound together to set up a polymorphic transition VI.Based on this method,a time delay C/E Petri net was set up by combining the place and polymorphic transition components in LabVIEW,so that the process was simplified.A specific Petri net was completed and tested.The results show that the system operating state is reflected by the front panel of the controller directly,and the topo-logy of block diagram is similar to that of the original Petri net.Due to the combination of two graphic languages,LabVIEW and Petri net,the implementation of measurement and control system based on Petri nets becomes simpler and more visualable.
出处 《江苏大学学报(自然科学版)》 EI CAS 北大核心 2011年第1期75-78,83,共5页 Journal of Jiangsu University:Natural Science Edition
基金 江苏省科技成果转化专项基金资助项目(BA2009001)
关键词 LABVIEW PETRI网 虚拟仪器 测控系统 计算机模拟 控制系统分析 LabVIEW Petri nets virtual instrument measurement and control system computer simulation control system analysis
  • 相关文献

参考文献8

  • 1Chaouiya C. Petri net modelling of biological networks [ J]. Briefings in Bioinformatics, 2007,8 ( 4 ): 210 - 219.
  • 2Magnin M, Lime D, Roux O. Symbolic state space of stopwatch Petri nets with discrete-time semantics [ C ]// Proceedings of 29th International Conference on Applica- tions and Theory of Petri Nets and Other Models of Con- currency. Heidelberg: Springer Verlag, 2008 : 307 - 326.
  • 3Bouroulet R, Devillers R, Klaudel H, et al. Modeling and analysis of security protocols using role based speci- fications and Petri nets[ C ]//Proceedings of 29th Inter- national Conference on Applications and Theory of Petri Nets and Other Models of Concurrency. Heidelberg: Springer Verlag, 2008:72 - 91.
  • 4杜天艳,唐平.Petri网的一种硬件实现方法[J].江苏大学学报(自然科学版),2004,25(5):441-444. 被引量:8
  • 5Hardy S, Robillard P N. Petri net-based method for the analysis of the dynamics of signal propagation in signa- ling pathways [ J ]. Bioinformatics, 2008,24 ( 2 ) : 209 - 217.
  • 6Cortes L A, Eles P, Peng Z. Modeling and formal verifi- cation of embedded systems based on a Petri net repre- sentation [ J ]. Journal of Systems Architecture, 2003,49 ( 12/13/14/15 ) :571 - 598.
  • 7陈粤,孟晓风,边泽强.基于Petri网的并行自动测试系统资源分配模型与仿真[J].系统仿真学报,2008,20(12):3277-3279. 被引量:5
  • 8马敏,黄建国,夏侯士戟.一种基于Petri网和AGA算法的测试系统死锁预防策略[J].仪器仪表学报,2008,29(1):33-37. 被引量:2

二级参考文献22

  • 1胡娟,刘力惠,范植华,李磊,王常青,周纬杰.Petri网可达性的综合判定法[J].软件学报,2004,15(7):949-955. 被引量:8
  • 2肖明清,朱小平,夏锐.并行测试技术综述[J].空军工程大学学报(自然科学版),2005,6(3):22-25. 被引量:56
  • 3詹惠琴,袁亮,古天祥.基于多线程的智能仪器Petri网[J].仪器仪表学报,2005,26(9):909-912. 被引量:3
  • 4陈粤,边泽强,孟晓风.基于信号参数集最小距离的并行测试任务调度算法[J].系统仿真学报,2006,18(9):2409-2411. 被引量:17
  • 5David R , Alla H. Petri Nets & Grcfcet. Tools for Modeling Discrete Event Systems [M]. New York: Prentice Hall, 1992.
  • 6侯伯亨 顾新.VHDL硬件描述语言与数字逻辑电路设计[M].西安:西安电子科技大学出版社,1999..
  • 7RADULESCU A, NICOLESCU C. CPR: mixed task and data parallel scheduling for distributed systems[J]. Parallel and Distributed Processing Symposium, 2001 : 1-9.
  • 8XIONG H H, ZHOU M C. A Petri net method for deadlock-free scheduling of flexible manufacturing systmes [ J ]. International Journal of Intelligent Control and System, 1999,3 (3) :277-295.
  • 9PETRI C A. Communication with automata[ D]. Bonn: University of Bonn, 1962.
  • 10WYSK R A, YANG N S, JOSHI S. Detection of deadlocks in flexible manufacturing cells [ J ]. IEEE Trans. Robot Automat 1991,7 (6) :853-859.

共引文献12

同被引文献52

引证文献4

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部