[发明专利]一种CPS建模的方法及装置

权利要求书

1.一种CPS建模的方法，其特征在于，包括：

根据预设模型融合规则，将预先建立的基本网模型和方面网模型进行融合，得到CPS模型；

其中，所述预设模型融合规则包括表征各个所述方面网模型间执行顺序的组合规则，以及所述基本网模型与所述方面网模型间的编织规则

其中，所述根据预设模型融合规则，将预先建立的基本网模型和方面网模型进行融合，得到CPS模型包括：

根据所述组合规则，确定多个所述方面网模型间的执行顺序，所述执行顺序包括先后关系、并发关系、选择关系以及迭代关系；

基于预设构建编织算法以及所述编织规则，以变迁为切入点，将所述方面网模型编织入所述基本网模型，得到所述CPS模型；

所述方面网模型的建立过程具体为：

基于混成Petri网，将连续变迁与速率函数相关联，且引入抑制弧和测试弧，得出扩展混成Petri网模型；

根据预定义方面网模型以及所述扩展混成Petri网模型，得出所述方面网模型；

其中，所述预定义方面网模型为AN_i＝{P_in,P_out,Pc,Ad,Intro}，Pc＝{tcut,pcut}，Ad＝{before,after,around}，P_in、P_out表示方面网的输入输出端口，tcut、pcut分别为变迁切入点和库所切入点，before、after、around为方面网模型编织入基本网模型的操作方式，Intro为基于扩展混成Petri网的模块；

所述扩展混成Petri网模型为EHPN＝{P,T,Pre,Post,h,τ,A_I,A_T,M₀}，τ包括离散变迁，以及连续变迁对应的时间延迟和激发速率；A_I为抑制弧集合，A_T为测试弧集合。

2.如权利要求1所述的方法，其特征在于，所述基本网模型为STPN＝{P,T,F,∑,C,WI(p,t),WO(t,p),g,D(t),m₀}；

其中，P＝{p₁,p₂,p₃...p_n}为库所的非空有限集合，T＝{t₁,t₂,t₃...t_n}为变迁的非空有限集合，F为有向弧的有限集合，F包括标准弧集合F_s和抑制弧集合F_I，∑＝((L₁×L₂×...L_d)×(Θ₁×Θ₂×...Θ_d))∪δ∪Ins为颜色集合的非空有限集合，((L₁×L₂×...L_d)×(Θ₁×Θ₂×...Θ_d))为空间颜色集，σ∈(L₁×L₂×...L_d)表示物理实体的空间位置，θ∈(Θ₁×Θ₂×...Θ_d)表示物理实体间的行进方向，δ表示物理实体的其它属性和功能信息，Ins表示物理实体接收到的指令，WI(p,t)为库所p至变迁t的输入弧函数，WO(t,p)为变迁t至库所p的输出弧函数，D(t)＝[α(t),β(t)]表示每个变迁从使能到触发所需等待的时间区间。

3.如权利要求2所述的方法，其特征在于，所述基本网模型的激发规则为：