本文致力于研究一类初始状态和目标状态已知的离散事件系统监督控制器的设计。这类离散系统要求满足一定线性或非线性的约束并且监督控制器的设计基本准则是在满足所有约束的条件下，消耗最少系统资源让系统从初始状态进入目标状态。已知系统运行约束的情况下，构建初始的Petri网模型。根据Petri网模型通过动态规划和线性规划结合或者采用动态搜索的方式求解可行的发射的序列，两种方式针对系统自身特点各有利弊。获得可行的发射序列后，增加一系列控制库所和控制变迁形成系统监督控制器。所用到的控制库所不能和系统的最初模型中的变迁发生关系，如果存在这样的关系相当于改变了原有模型的约束，因此控制库所只能和补充变迁发生关系。通过本文上述的方法，可以避免部分可达图求解问题中会遇到的状态爆炸。最差情况下只需要求解可达图中的部分状态就可以完成控制器的设计。而且控制器的设计借助了可行发射序列本身的结构特征，并不需要通过可达图更新进行大量的线性规划计算来获得控制器结构。如果需要保证系统的最大许可性，那么就需要添加更多的控制库所和补充变迁，但是它们根据可行发射序列是多项式增长的。相对于复杂的多次线性规划求解，根据结构简单地添加一系列控制库所和补充变迁是可以接受的。文章最后给出了一个包含非线性约束的传教士和野人过河游戏的实例来说明计算和控制器设计过程。