Through the analysis of the execution and dispatching principle of the Petri net, the business process management mode based on Petri net is proposed. We merge the place node and the transition node, and reside the token in the node. The only token in process instances and the sub-token in parallel process are introduced, which can avoid conflicts caused by multi-tokens. The business process model for the drawings design and approval is established, and it is verified by the workflow modeling system.
Workflow technique has been successfully used in many enterprises, and workflow modeling is one of the most important links, a successful application of workflow model can lay a solid foundation for realizing automation and monitoring of enterprise’s business process. This paper firstly points out the necessity of rationality validation in workflow model, then analyzes all kinds of existing validation algorithm of workflow model rationality, and emphatically describes a validation algorithm based on Petri net. At last this algorithm is improved, and the correctness of the algorithm is verified by an instance.
Process modeling of Cooperative Product Development (CPD) is the key of CPD process
management. Analyzing the process of developing production based upon Petri Nets, referring to
workflow management and combining with parallel project, a new workflow modeling method
based upon layered timed color Petri nets is invented, which supports the developing of the model
production that parallels CAD/CAPP. Finally taking the developing CDP of model product as an
example, workflow model has been designed and has been inspected and verified in the software
platform.
Measuring Quantitative Dependability Attributes in Digital Publishing Using Petri Net Workflow Modeling
