基于LabVIEW的Petri网控制器实现

被引：4

作者：

杜天艳

赵不贿

机构：

[1] 江苏大学电气信息工程学院

来源：

江苏大学学报(自然科学版) | 2011年 / 32卷 / 01期

关键词：

LabVIEW; Petri网; 虚拟仪器; 测控系统; 计算机模拟; 控制系统分析;

D O I：

暂无

中图分类号：

TP273 [自动控制、自动控制系统];

学科分类号：

080201 ; 0835 ;

摘要：

为使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网的测控系统的实现更为简单、直观.

引用

页码：75 / 78+83 +83

页数：5

共 7 条

[1] Petri net modelling of biological networks [J].

Chaouiya, Claudine .

BRIEFINGS IN BIOINFORMATICS, 2007, 8 (04) :210-219

[2]

Modeling and formal verification of embedded systems based on a Petri net representation.[J].Luis Alejandro Cortés;Petru Eles;Zebo Peng.Journal of Systems Architecture.2003, 12

[3] 基于Petri网的并行自动测试系统资源分配模型与仿真 [J].