【摘 要】
：
为了实现可编程逻辑控制器(PLC)的形式化设计,定义了一种可以感知和执行的新型Petri网,称为平行Petri网.将输入输出变量映射到库所结点上,描述了PLC的Petri网模型的一般设计
【机 构】
：
华侨大学信息科学与工程学院,福建省电机控制与系统优化调度工程技术研究中心
【基金项目】
：
国家自然科学基金项目(61973130),福建省自然科学基金项目(2017J01117)资助
论文部分内容阅读
为了实现可编程逻辑控制器(PLC)的形式化设计,定义了一种可以感知和执行的新型Petri网,称为平行Petri网.将输入输出变量映射到库所结点上,描述了PLC的Petri网模型的一般设计方法,进而给出了其动态演化算法.通过C语言和TwinCAT联合编程,使得Petri网与被控物理对象平行演化,实现了Petri网对物理过程的平行感知和控制,并完成了实验验证.该方法可以缩短控制代码的开发周期,简化程序复用的复杂性,为平行系统在PLC工程中的应用提供了有效工具.
其他文献
生命是可贵的,生活是现实的。在美丽的生命世界里,人们渴望生活的多姿多彩,但是生活的天空不总是晴空万里,风和日丽,常常是乌云密布,狂风肆虐。面对芜杂多变的生活,每个人都
以2010~2018年能源类上市公司为样本,考察"一带一路"倡议对中国能源类企业投资效率的影响及其作用路径.研究发现,相对于非重点省份企业,"一带一路"倡议的实施显著缓解了重点
普通百姓观念中，杆秤由双手综合操作，人为主观成分较大，容易作弊；电子秤精密准确，显示直观，比较客观，不容易作弊。但事实是如此吗？
浙江省温州中学籀圆文学社自1988年10月组建以来,一直坚持以“培养语文学习兴趣,提高文学创作水平”为办社宗旨,积极开展校园文化活动。一方面经常组织演讲辩论、影视欣赏、
最近，福建省质量技术监督局酝酿推出的“非主观恶意违规行为首过不罚”的规定引起了方方面面的高度关注，大家在严肃法纪、依法办事与和谐社会、以人为本这两大理念出何完美融合
去年春天的一个清晨,我家门前的樱桃树第一次开了花,美丽极了。那天,我穿着新式检察官服,第一次参加提审犯人。没想到还真发生了一件意外的事情。
加快构建具有党校特色的学术评价体系,不仅有助于全面分析党校学科的结构、优势、特色和水平,而且有助于彰显党校的学术发展水平和影响力。当前,党校学术评价工作存在着评价
宽带声学多普勒流速剖面仪,利用伪随机编码调制发射脉冲信号以及复相关算法计算各水层反射回波的多普勒频移,进而达到测速的目的。复相关算法中,在排除模糊速度干扰的情况下,
传染性单核细胞增多症（infectious mononucleosis，IM）是一种由EB病毒感染引起的单核-巨噬细胞系统急性增生性疾病，临床三联征为发热、咽峡炎及淋巴结肿大，特征性表现为外周血淋巴