P_DROCE model based supply chain management system and its verification

According to supply chain´s junction views and its lifecycle, a model called P_DROCE is provided as an integrated supply chain workflow model that is proved to support concurrent engineering effectively. It consists of five sub-models: business P_DROCE process model (P), order model (D), resource model (R), organization model (O), cost and evaluation model (CE). The P_DROCE model is different from other modes as it can be integrated by the workflow system. Based on P_DROCE model and business rules, a supply chain workflow management system is introduced. As Petri net theory lacks the ability of expressing P_DROCE as behaviors and mobility, we put forward a method using π calculus to describe the business P_DROCE processes behaviors and communications. At last, it is given the formal verification of the supply chain workflow management system.