[发明专利]一种基于Petri网的事件协调控制方法

权利要求书

1.一种基于Petri网的事件协调控制方法，其特征在于，包括以下步骤：

S1、获得事件驱动型被控系统H，并将系统H的资源约束转换为库所约束，将事件协调约束转换为变迁约束，列出所有的约束条件；

S2、记事件驱动型被控系统H的Petri网模型∑＝(S，T；F，W，M₀)，其中，S和T是有限非空且不相交的集合，S为库所集合，T为变迁集合，F为表示从库所指向变迁或者变迁指向库所的有向弧，W表示有向弧权重，M₀表示库所中托肯的数量；变迁集合T中包含的变迁t₁，t₂，…，t_q分别代表需要协调控制的事件e₁，e₂，…，e_q(q＞2)；

S3、提取Petri网模型的库所变迁混合约束，并将混合约束形式化为：

或者其中，L_r，λ_r，b为计算常数且为整数、m(s_r)为监控库所s_r的托肯数目、q(t_r)为变迁t_r的引发次数，S_C，T_C分别为约束库所集合和约束变迁集合；

S4、获得可令的库所约束条件或者令的变迁约束条件作为转换约束，并将转换约束代入混合约束，获得单一不等式约束或作为协调控制目标，并根据新的单一不等式约束对Petri网模型进行调整；

S5、若增加弧F_C，弧F_C相应的权重函数为W_C，满足协调控制目标的一组S_C，t₁，t₂，F_C，W_C为一组同步控制器，记为Con(S_C，t₁，t₂，F_C，W_C)；

S6、根据同步控制器进行事件协调控制。

2.如权利要求1所述的基于Petri网的事件协调控制方法，其特征在于，步骤S4具体为：预设多种约束转换模型，获得单一不等式约束后，对y_i，并分解判断结果选择不同的约束转换模型进行约束转换，然后对Petri网模型进行调整。

3.如权利要求2所述的基于Petri网的事件协调控制方法，其特征在于，步骤S4中预设四种约束转换模型，分别对应：y_i＝y_i-1且y_i×y_i-1＞0；y_i≠y_i-1且y_i×y_i-1＞0；y₁＝-y₂，i＝2；|y₁|≠|y₂|且y_i×y_i-1＜0，i＝2。