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

摘要

本发明公开了一种基于Petri网的事件协调控制方法。本发明通过Petri网结构的等价变换方法，考虑如何将库所变迁混合不等式约束条件转换为单一的库所不等式约束条件。转换为单一库所不等式约束条件后，就可以利用已有的活性控制器设计的相关结论对Petri网结构进行控制器设计。本发明将工业应用Petri网的受控元素从单一的库所推广到一般情况，即受控元素可能是库所，也有可能是变迁，考虑≤不等式约束条件下变迁约束向库所约束的转换算法，通过转换就可以将库所和变迁的混合约束问题，转换成单一的库所约束转换问题，可以降低问题分析的难度，拓展已有活性控制器相关结论的应用范围。

主权项

一种基于Petri网的事件协调控制方法，其特征在于，包括以下步骤：S1、获得事件驱动型被控系统H，并将系统H的资源约束转换为库所约束，将事件协调约束转换为变迁约束，列出所有的约束条件；S2、记事件驱动型被控系统H的Petri网模型∑＝(S，T；F，W，M0)，其中，S和T是有限非空且不相交的集合，S为库所集合，T为变迁集合，F为表示从库所指向变迁或者变迁指向库所的有向弧，W表示有向弧权重，M0表示库所中托肯的数量；变迁集合T中包含的变迁t1，t2，…，tq分别代表需要协调控制的事件e1，e2，…，eq(q＞2)；S3、提取Petri网模型的库所变迁混合约束，并将混合约束形式化为：或者其中，Lr，λr，b为计算常数且为整数、m(sr)为监控库所sr的托肯数目、q(tr)为变迁tr的引发次数，SC，TC分别为约束库所集合和约束变迁集合；S4、获得可令的库所约束条件或者令的变迁约束条件作为转换约束，并将转换约束代入混合约束，获得单一不等式约束或作为协调控制目标，并根据新的单一不等式约束对Petri网模型进行调整；S5、若增加弧FC，弧FC相应的权重函数为WC，满足协调控制目标的一组SC，t1，t2，FC，WC为一组同步控制器，记为Con(SC，t1，t2，FC，WC)；S6、根据同步控制器进行事件协调控制。