Firstly, the methods of designing observers are obtained.Secondly, the algorithm of calculating the maximally permissive control policy is proposed using the markings of the observers.

• 其次给出了根据观测器计算最大允许控制策略的算法.；结果表明，该方法降低了需要观测的状态空间的维数，从而提高了计算效率，并且该方法不要求对象网是活的或有界的