规则表示和推理机制是计算机形成操作票过程中的关键问题，分析了在操作票专家系统中广泛采用的产生式规则表示方法的局限性，指出推理程序对规则表示的依赖是制约操作票专家系统通用性的根本原因。针对上述问题，首先研究了产生式规则的Petri网表示方法，提高规则表示的灵活性；其次，研究了基于Petri网规则表示的推理方法，使推理程序与规则表示完全分离，最后，结合应用实例说明了基于Petri网的规则表示方法和推理机制可以有效地提高操作票专家系统的适应能力。