This paper presents a model for OWL-S process model based on labelled Petri net and gives the transformation rule from process model to LPN.

Metamodel for process models registration (MPMR) with semantic interoperability;

Research on product innovation design driven by TOC process model;

Component-based software development process model;

Process modeling is the base of process management and control.

For lack of planning process modeling of manufacturing systems in virtual environment, this paper defined the planning cell, which is the basic unit of the planning, and discussed its principle and forming process, and offered a process modeling of virtual factory planning, which includes general layer, semi-general layer and special layer.

After the characteristics and architecture of system is introduced, the principle and design patterns of the key modules, such as process modeling, simulation reckoning and data storing, are analyzed in detail.

Verification of IDEF3 process models;

Research of flexible process models for equipment support command and control system;

Data Preprocessing Procedure Model based on Data Warehouse;

To solve the problems of part information dispersed and lacking in the procedure management of standard part growing from part,a maturity-based procedure model for presenting standard part growing from part was proposed.