基于Petri网控制流程建模的创建石膏砌块成型生产线方法
专利类型：发明专利
语 言：中文
申 请 号：CN201310302739.3
申 请 日：20130718
申 请 人：重庆大学
申请人地址：400044 重庆市沙坪坝区沙坪坝正街174号
公 开 日：20150923
公 开 号：CN103389704B
代 理 人：赵荣之
代理机构：北京同恒源知识产权代理有限公司 11275
摘 要：基于Petri网控制流程建模的创建石膏砌块成型生产线方法，涉及一种石膏砌块生产线，特别是一种基于Petri网创建石膏砌块生产线的方法,具体步骤为：1）功能模块的划分；2）功能模块操作序列映射的建立；3）监督控制器模型的建立；4）基于Petir网的控制流程模型的建立；5）确定控制流程模型的具体参数；6）建立生产线。它可以通过建模优化石膏砌块生产线，简化生产线的构造，同时提高生产线的工作效率。
主 权 项：基于Petri网控制流程建模的创建石膏砌块成型生产线方法，其特征在于，具体步骤如下：1)对石膏砌块成型生产线结构进行功能划分，将生产线拆分为一个以上的独立功能单元；2)对步骤1)中的独立功能单元，分别建立与之对应的映射关系，用于表示生产过程中各功能单元完成的相应操作序列；设O＝(o1,o2…on)为石膏砌块成型生产线有限实体对象集合，每个对象均为功能划分之后的一个功能单元，f＝(f1,f2…fn)是实体对象集合O上的映射γ:O→f，fn是实体对象on的操作序列；3)利用信号解释Petri网原理，建立实体对象操作序列的监督控制器模型，用于描述实体对象运行操作序列过程中每一步操作的执行条件、执行动作和逻辑顺序；4)根据步骤1)至步骤3)，建立基于Petri网的控制流程模型，石膏砌块成型生产线控制流程模型描述为Σ＝(f,r,A,ρ,λ)；式中，f是实体对象集合上的一个映射γ:O→f，f＝(fk,k＝1,2,…,K)为实体对象的操作序列集合，fk表示实体对象Ok的操作序列，K表示系统包含的全部实体对象的个数，其具体形式可用一个SIPN模型表示，即在系统的第k个实体对象的SIPN模型中，1≤k≤K，Pk＝{pk1,pk2…pkn}是库所的有限集合，kn>0为库所的个数，在模型中的含意为实体对象生产过程中的过程状态；Tk＝{tk1,tk2…tkm}是变迁的有限集合，km>0为变迁的个数，指生产过程状态变化所应满足的条件；Mk,0为二进制初始标识，为模型的初始状态；Fk是当前网的流关系，指实体对象操作序列的逻辑顺序；Ik为第k个实体对象逻辑输入信号集合，Ik＝{ik1,ik2…ik|I|}，且k|I|>0，指实体对象的传感器检测信号；Ok为实体对象逻辑输出信号集合，Ok＝{ok1,ok2,…ok|O|}，且k|O|>0，指实体对象的执行器输出信号；
为一映射，作为触发条件与变迁Tk一一对应，其是Ik的布尔函数；ωk＝(ωk1,ωk2…ωkn)为一映射，对应库所Pk，为Pk的输出，指当前库所表示运行状态时的执行器输出信号，Ωk则是实体对象的输出函数，是所有库所输出ωk的组合，指实体对象的执行器运行状态；r是模型的结构，表示f集中元素之间的拓扑关系，
λ是一组逻辑输入信号集合，λ＝(λ1,λ2…λ|λ|)，是在所有逻辑输入信号中选取的一组特殊变量，是能够反映当前实体对象状态的最小变量组；A是一函数矩阵，用于确定当前网的结构，其表达式为：A＝[aij]K×K其中元素aij的值可以确定f集元素之间的拓扑结构，aij受系统功能结构特性的约束，aij是λ集合中信号的布尔函数，本质上为f集元素之间拓扑结构的原模型，其意义为
ρ是在结构矩阵A上的一个映射η:A→ρ，是f集中元素之间信息传递关系的表达函数，其表达方式为ρ＝[ρij]K×Kρij是全部实体对象输入信号集I＝λ∪I1∪I2∪…∪IK中元素的布尔函数；5)确定控制流程模型Σ＝(f,r,A,ρ,λ)的参数f、A、ρ和λ的具体形式；6)根据控制流程模型创建石膏砌块成型生产线。
关 键 词：
法律状态：授权
IPC专利分类号：G05B19/418(2006.01)I