[发明专利]基于PRES网求精操作的嵌入式系统仿真方法及系统

权利要求书

1.一种基于PRES网求精操作的嵌入式系统仿真方法，其特征在于，包括：

基于嵌入式控制系统的功能及模块划分，构建抽象PRES网模型；

基于相关约束条件确定所述抽象PRES网模型中的库所型子网；

利用所述库所型子网对所述抽象PRES网模型进行求精操作，获得求精的PRES网模型；

基于获得的求精的PRES网模型，实现嵌入式控制系统的仿真。

2.如权利要求1所述的一种基于PRES网求精操作的嵌入式系统仿真方法，其特征在于，所述相关约束条件为，对于库所型子网N_pp＝(P_pp,T_pp,I_pp,O_pp,M_pp,0)，需满足以下条件：

(i)P_pp为原网N的非空库所集合，T_pp为原网N的非空变迁集合；

(ii)I_pp为原网N中仅属于子网N_pp的非空输入弧集合，O_pp为原网N中仅属于子网N_pp的非空输出弧集合；

(iii)N_pp仅有库所能与外部相连接；

(iv)N_pp是连通的，并且存在唯一的输入库所p_in和唯一的输出库所p_out；

(v)对于N_pp的每个变迁t都存在一个变迁函数f；

(vi)对于N_pp的每个变迁t都存在一个最小时滞d^-和一个最大时滞d⁺，并且d^-≤d⁺，R⁺是非负实数集。

3.如权利要求1所述的一种基于PRES网求精操作的嵌入式系统仿真方法，其特征在于，所述求精操作为利用所述库所型子网替换所述抽象PRES网模型中的库所，获得求精的PRES网模型。

4.如权利要求1所述的一种基于PRES网求精操作的嵌入式系统仿真方法，其特征在于，当所述抽象PRES网模型中包括若干个库所，且各库所间均不共享输入和输出变迁时，可利用库所型子网替换所述抽象PRES网模型中所有的库所，实现求精操作。

5.如权利要求1所述的一种基于PRES网求精操作的嵌入式系统仿真方法，其特征在于，为了保证求精的PRES网的活性，所述抽象PRES网模型需要满足以下条件：抽象PRES网模型具有活性，且抽象PRES网模型的库所型闭网具有活性。

6.如权利要求1所述的一种基于PRES网求精操作的嵌入式系统仿真方法，其特征在于，为了保证求精的PRES网的有界性，所述抽象PRES网模型需要满足以下条件：抽象PRES网模型是有界的，且抽象PRES网模型的库所型闭网也是有界的。

7.如权利要求1所述的一种基于PRES网求精操作的嵌入式系统仿真方法，其特征在于，所述库所型子网需满足以下假设：

(1)对于库所型子网N_pp＝(P_pp,T_pp,I_pp,O_pp,M_pp,0)，托肯从N_pp以外流入p_in，通过N_pp，再从p_out流出N_pp的过程中，流入p_in的托肯数量与流出p_out的托肯数量相等；

(2)执行上述过程前，p_in是P_pp中唯一一个含有托肯的库所。