Formalizing a Workflow-Net Implementation of Design-Structure-Matrix-Based Process Planning for New Product Development

Many new product development (NPD) projects fail. The NPD context, which incorporates knowledge about the product, requirements, technology, and other factors, is dynamically evolving during the process. Simulations of NPD processes using their specific contexts can provide project managers with decisions-making methods to test their planning. The design structure matrix (DSM) can be used to model the product knowledge; then, reordering algorithms are used for process planning. However, interpretation of the DSM-based plan is not unique, and its translation to a process workflow (WF) model may lead to implementation inconsistencies. WF nets, being a subclass of Petri nets, provide formal tools for verifying process properties. Well handled with Regular Iteration (WRI)-WF nets are a subclass of WF nets that are sound by construction and, therefore, enable an automated process-build approach. This paper presents a formal translation of the DSM-based plan to a process-scheme model, the DSM net, which can be executed and simulated. Using several translation stages, it is proved that the resulting DSM net is equivalent to a WRI-WF net. Therefore, the proposed translation is inherently sound and can be automated, becoming an enabler of implementing evolving product knowledge into a sound changing-process model required for NPD simulations. The presented approach bridges an identified gap between the process-planning community (DSM) and the process-implementation community (Petri net).