正规Petri网及其逆向最优调度

常规Ｐｅｔｒｉ网的变迁发生规则是正向的，即根据输入库所的标识确定授权变迁集，再从中选择发生变迁集并修改输出库所的标识，这一方面造成了冲突，另一方面使得对于一个预期的目标标识，不能按照系统成本最低或利润最大的原则来确定变迁的发生。为此本文提出了正规Ｐｅｔｒｉ网的概念并研究了它的两种级联方式－并联正规网和串联正规网，以及逆正规网这一重要概念，对于上述的最优问题，我们提出了逆向的授权规则，即根据目标输出

Normal Petri Net and Its Backward Optimal Scheduling

The transition firing rule of conventional Petri nets is forward, which means the enabled transitions are determined by the pre-set markings of places, then the firing transitions are chosen from which are enabled. This on the one hand results in conflict and contact, on the othet hand makes it impossible to determine the transition firings according to the criteria of mininmal cost or maximal profit. To solve this problem the paper presents the new concept of normal Petri net, then investigates two kinds of its connections-parallel normal net and series normal net. Further more the notation of reverse normal net is introduced. Considering the optimal problem mentioned above, the backward enabling rule is presented,which determines the firing transitions according to the target markings, then the initial markings are determined by the firing transitions. In such a way the optimal problem is translatedto the integer p.og..mproblem. At last the dual problem of the above problem is studied and is converted to the original, problem of reverse normal net.