Formalizing a General Plant for DevelopingHybrid Process System.

• 混合过程控制系统基于广义对象的形式化开发。