為了達成企業間資訊的整合，發展一個企業流程模型來整合流程是目前常用的方式。在設計企業模型時，有時會因為規劃錯誤或是流程設計錯誤而發生模型無效的情形，然而這些無效的情形往往不易被察覺。因此在實作企業模型前，必須提供一套驗証的機制；若驗証後模型有效，則進行實作；若模型無效，則重新規劃及設計，以防止企業浪費大量的資源在無效的模型中。
本研究以BPMN(Business Process Modeling Notation)為例，提供一套驗証BPMN模型是否有效的方法。研究方法主要包含問題分析、設計、模擬及實作四個階段。在問題分析階段本研究將探討及歸類BPMN的無效模型；設計階段將建立好的BPMN模型轉換為Extended BEPL4WS語法，之後利用XSLT描述語法、Java、JAXP及DOM等技術將Extended BPEL4WS語法轉換為完整的CPNXML語法(描述CPN Tools文件的xml語法)。在模擬實作階段，藉由設計階段所轉換出的CPNXML語法，將之讀入至CPN Tools中轉換為Petri Net模型，並以Petri Net中活性及可到達性來分析BPMN模型是否具有效性，在經過有效性分析後，即可得知BPMN模型是否有死結及無限迴圈的情況。另外，本研究利用Time Petri Net來分析BPMN模型的執行完成時間，提供給塑模者做為流程設計的參考。

Business process modeling has been widely applied by many companies to support the projects such as BPR or enterprise integration. In general, business modeling technique plays the role of pre-designing and evaluating the business flow before the final implementation. However, due to certain improper situations, the developed model might not be appropriated for the final analysis and evaluation. Therefore, model validity should be confirmed before the formal evaluation.
This research proposed a Petri Net based approach to evaluate the validity of a model defined by BPMN (Business Process Modeling Notation). Two kinds of invalid situations will be defined and analysis: deadlock and infinite loops. Moreover, one property will be defined and analysis: execution time. There are four phases in the proposed approach. In problem analysis phase, the invalid model would be defined and classification. Then, in the design stage, the developed BPMN model will be transferred to Extended BPEL4WS, which is an XML based language. By applying XSLT and Java, the transferred BPEL4WS will be translated to a Petri Net language CPNXML. Which will then converted a colored Petri Net model. Finally, the three kinds of property analysis (deadlock, infinite loops and execution time) will be evaluated in terms of the “Liveness”, “Reachabiliby” and “Time Petri Net” properties of the converted Petri Net model.

[1] W. M. P. van der Aalst, A. H. M. ter Hofstede, & M. Weske, “Business Process Management: A Survey”, Springer-Verlag Berlin Heidelberg, 2003.
[2] M. Weske, W. M. P. van der Aalst & H. M. W. Verbeek, “Advances in business process management”, Data & Knowledge Engineering 50 (2004) 1-8, 25 January 2004.
[3] P. Lawrence (Ed.), “Workflow Handbook 1997”, Workflow management Coalition, John Wiley & Sons, New York, 1997.
[4] D. Hollingsworth, F. Services & U. Kingdom, “The Workflow Reference Model 10 Years On”, http://www.wfmc.org/, 2004.
[5] 林玉凡，「EB前瞻產品—企業應用程式整合(EAI)產品之探討」，http://www.find.ort.tw/0105/download/index.asp，2001。
[6] 朱員德，「商業流程整合衝突偵側機制之建置研究」，國立中正大學管訊管理系，碩士論文，2003。
[7] W3C, “Web Services Architecture”, http://www.w3c.org/TR/ws-Arch/, 2003.
[8] IBM, “Web Services Conceptual Architecture (WSCA 1.0)”, http://www-3.ibm.com/software/solutions/webservices/pdf/WSCA.pdf, 2001.
[9] 戚玉樑、賴德優等，「Web Services探索與應用」，培生教育，2002。
[10] J. Yang & M. P. Papazoglou, “Web Component: A Substrate for Web Service Reuse and Composition”, Proceedings of the 14th International Conference on Advanced Information Systems Engineering, May 2002.
[11] Business Process Execution Language for Web Services Version 1.1(BPEL4WS), http://www-128.ibm.com/developerworks/library/ws-bpel/, May 2003.
[12] Business Process Modeling Notation Version 1.0(BPMN), http://www.bpmn.org/, May 2004.
[13] M. A. Marsan, G. Conte, & G. Balbo, “A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems”, ACM Transactions on Computer Systems, Vol.2, No.2, pp.93-122, 1984.
[14] A. A. Desrochers & R. Y. Al-Jaar, “Applications of Petri Nets in Manufacturing Systems”, The Institute of Electrical and Electronics Engineers, pp.56-58.
[15] J. L. Peterson, “Petri Net Theory and The Modeling of Systems”, Prentice-Hall INC., pp.79-90.
[16] J. M. Proth & X. Xie, “Petri Nets-A Tool for Design and Management of Manufacturing Systems”, JOHN WILEY & SONS, pp.61-79, 1996.
[17] I. Choi, C. Park & C. Lee, “A transactional workflow model for engineering/manufacturing processes”, INT. J. Computer Integrated Manufacturing, 2002, VOL. 15, NO.2 178-192.
[18] WFMC, “Workflow Management Coalition Terminology and Glossary”, Workflow Management Coalition, Brussels, 1996.
[19] C. Coves, D. Crestani, & F. Prunet, “Design and Analysis of Workflow Processes with Petri Net”, IEEE, 1998.
[20] K. Grigorova, “Process Modeling using Petri Net”, International Conference on Computer Systems and Technologies, 2003.
[21] P. A. Buhler & J. M. Vidal, “Towards Adaptive Workflow Enactment Using Multiagent Systems”, Information Technology and Management Journal, 2003.
[22] R. Y. K. Fung, Y. M. Au, Z. B. Jiang & H. C. W. Lau, “Supply Chain Workflow Modeling Using XML-formatted Modular Petri Net”, Int J Adv Manuf Technol, 2003.
[23] I. Choi, M. Song, C. Park & N. Park, “An XML-based process definition language for integrated process management”, Computers in Industry, 2003.
[24] M. Weber & E. Kindler, “The Petri Net Markup Language”, http://www.informatik.hu-berlin.de/top/pnml/, April 2002.
[25] J. Billington, S. Christensen, K. V. Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno & M. Weber, “The Petri Net Markup Language: Concepts, Technology, and Tools”, http://www.informatik.hu-berlin.de/top/pnml/, June 2003.
[26] The Petri Net Kernel, http://www.informatik.hu-berlin.de/top/pnk/
[27] Renew, http://www.renew.de
[28] PEP, http://parsys.informatik.uni-oldenburg.de/~pep/
[29] Design/CPN, http://www.daimi.au.dk/designCPN/
[30] CPN Tools, http://www.daimi.au.dk/CPNtools
[31] Petri Net Tools Database, http://www.daimi.au.dk/PetriNets/tools/
[32] A. V. Ratzer, L. Wells, H. M. Lassen, M. Laursen, J. F. Qvortrup, M. S. Stissing, M. Westergaard, S. Christensen & K. Jensen, “CPN Tools for Editing, Simulating, and Analysing Coloured Petri Net”, Proceedings of the 24th International Conference on the Application and Theory of Petri Nets, June 2003.
[33] K. Jensen, S. Christensen & L. M. Kristensen, “CPN Tools Occurrence Graph Manual”, University of Aarhus, 2002.
[34] K. Salimifard & M. Wright, “Petri Net-Based Modeling of Workflow Systems: An Overview”, European Journal of Operational ReseArch, 2001.
[35] 李志偉，「以Petri Net為基礎的網路服務組合前置驗證及簡化方法」，中原大學資訊管理學系，碩士論文，2004。
[36] 高慶霖，「以派翠網路偵測網路服務流程之死結」，國立中正大學資訊管理系，碩士論文，2004。
[37] 周坤約、洪博文、歐翼德譯，「專業XML程式設計第二版」，碁峰資訊，2002。
[38] 郭尚君、郭慧琦，「XML技術實務」，文魁資訊股份有限公司，2003。
[39] 古昌弘，「JAVA教學範本」，金禾資訊，2004。
[40] 周政宏，「Java與XML整合應用」，文魁資訊股份有限公司，2003。
[41] 黃中杰、洪菁懌，「Java與XML技術手冊」，碁峰資訊股份有限公司，2002。
[42] 超維度工作室，「JBuilder程式設計大全」，學貫行銷股份有限公司，2003。