一种车间制造系统Petri网模型的PLC硬件实现方法

摘要

本发明公开了一种车间制造系统中Petri网模型转换到PLC梯形图的方法。首先，使用Petri网对车间制造系统进行建模，再把Petri网模型转化为工业控制系统中常用控制器PLC对应的梯形图。将系统Petri网模型的PLC梯形图分为三个模块，包括初始化模块，侦测模块和演变模块。初始化模块用于将Petri网的初始状态M0传递给梯形图，即把Petri网模型的初始托肯信息传递给对应的线圈或加法器。侦测模块用于检测每个变迁的使能信息，用于判断冲突变迁的优先级，用于解决冲突问题，用于从结构上避免雪崩效应。演变模块用于接收侦测模块传递的信息，将使能的变迁发射，并更新各个库所的托肯数量。本发明以车间制造系统为对象，解决了系统Petri网转换到PLC梯形图中存在的冲突问题和雪崩效应。