中文摘要：

针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.

英文摘要：

A method was proposed to design the Petri-net model for a batch chemical system based on the actuator-element net.A process flow was depicted as a sequential control specification that is in the form of a transition sequence.Further,a method was proposed to model this sequential control specification as linear constraints on Petri nets.By the place invariant method,a monitor place was designed for each linear constraints,and consequently,the sequential Petri-net supervisor was obtained.By this method,the closed-loop control system for a complexity chemical process can be modeled,analyzed and perfected based on formal methods.