A formal mapping of static information models into dynamic models for process planning and control purposes

A formal mapping between static information models and dynamic models is presented. The static information models are given according to an international standard for product, process and resource information exchange. The dynamic models are described as discrete event systems. The product, process and resource information is automatically converted into product routes and used for simulation, controller synthesis and verification. The focus in this paper is on resource booking problems. A high level language, which combines Petri nets and process algebra, is presented and used for specification of desired routes. A main implication of this methodology is to enable the reuse of process information when creating dynamic models for process control. This method also enables simulation and verification to be conducted early in the development.