Modeling of synchronization-net-based printing workflow
基于同步网的印刷生产工作流建模

Synchronization net model, a formal workflow model based on Petri-net and C_net, was introduced. It conquered the shortages of Petri net-based modeling, and became directly perceptible, and easy to be analyzed and simulated. A case study of print business process was provided to illustrate the application of this method, and to prove its correctness.