目前有許多種代理人工具可以用來設計代理人系統。在設計代理人系統時，有時會因為各代理人內部矛盾互斥之規則導致工作流程無法運作而發生多代理人系統無效的情形，然而目前的代理人發展系統無法自行判斷，導致實際運作後發生問題。因此在實作代理人系統前，必須提供一套驗證的機制；若驗證後代理人系統有效，則進行實作；若代理人系統無效，則重新規劃及設計其內部規則，以防止代理人系統因各代理人內部規則因素，導致作業流程發生死結或無限迴圈而造成系統無法運行。
　　本研究將以α algorithm及Petri-Net提供一套驗證代理人系統是否有效的方法。研究方法主要包含概念分析、設計以及實作三個階段。在概念分析階段本研究先探討現行運用代理人發展工具發展代理人系統可能會遇到的盲點，並提供一套改善方案；設計階段本研究利用代理人發展軟體建構測試用代理人系統出來。之後找出代理人系統裡的流程紀錄檔經由α algorithm將流程紀錄檔轉換成Petri-Net模型，再將其導入至Petri-Net模擬軟體中進行模擬分析；在實作階段，藉由設計階段所使用的方法，以機器手臂組裝及經銷商案例，並以Petri-Net中死結及無限迴圈等特性來分析代理人系統之可行性。

　　Using agent development tools to construct an agent-based system is a popular approach. The developed agent system might not be feasible due to certain mutual conflicted rules stored in various agents. However, currently, the development tools do not have the function to check the feasibility of the workflow of the agent system during it implementation stage. Therefore, it is necessary to develop an evaluation approach to analyze the feasibility of a developing agent system. The improper workflow of an agent system can be found in the early design stage, and hence to reduce the risk of implementation.
　　In this research, a Petri Net based evaluation approach will be developed. There are three stages in the proposed system. In the conceptual stage, the pitfall of the current agent system developing process will be examined and an improvement analysis process will be proposed. Then, in the system design stage, an evaluation approach which will extract the process log file from a developing agent system into a Petri Net model in terms of α algorithm. This model will be imported into a Petri Net simulation package CPN. The agent system performance will be evaluated in terms of analyzing the deadlock and infinite looping phenomena of the Petri-net model. Finally, in the implementation stage, the proposed concepts will be implemented by integrating an agent developing tool JADE and CPN through certain JAVA based codes. A robotic assembly system and a seller and buyer negotiated price system will be used to examine the possible deadlock and infinite looping of their respective agent system.

[1]　M. J. Yi, Y. W. Yu, J. H. Kim, Y. S. Park and M. J. Lee, “Smart: A CORBA-based Mobile Agent System Supporting the OMG MAF Specification”, IEEE pp.70-74, 2000.
[2]　Z. Hu, L. Guangwu and X. Jin, “Agent-oriented Distributed Scheduling Systems Based on DCOM: An Application to Flexible Scheduling Systems”, Proceedings of the 5" World Congress on Intelligent Control and Automation, June 15-19, 2004.
[3]　S. Willmott, “Technical Input and Feedback to FIPA from Agentities RTD and Agentcities initiative,” http://www.fipa.org, Jul. 2003.
[4]　M. Wooldridge and N. R. Jennings, “Intelligent Agents: Theory and Practice”,The Knowledge Engineering Review, Vol. 10(2), pp.115-152, 1995.
[5]　The Foundation for Intelligent Physical Agents. http://www.fipa.org
[6]　FIPA 97 Part 2 Version 2.0: Agent Communication Language.Specification. http://www.fipa.org/specs/fipa00003/
[7]　T. Murata, “Petri Nets: Properties, Analysis and Applications” , Proceedings of the IEEE, Vol. 77, No. 4, pp.541-580, Apr 1989.
[8]　J. L. Peterson, “Petri Net Theory and The Modeling of Systems”, Prentice-Hall INC., pp.79-90.
[9]　J. M. Proth, and X. Xie, “Petri Nets-A Tool for Design and Management of Manufacturing Systems”, John Wiley and Sons, pp.61-79, 1996.
[10]　K. Jensen, “An Introduction to the Theoretical Aspects of Coloured Petri Nets.” , A Decade of Concurrency, Lecture Notes in Computer Science, vol. 803, pp. 230-272, Springer-Verlag, 1994.
[11]　W.M.P. van der Aalst, A.J.M.M. Weijters, and L. Maruster, “Workflow Mining:Discovering Process Models From Event Logs”, IEEE Transactions on Knowledge and Data Engineering, Vol. 16, No. 9, Sep 2004.
[12]　M. PECHOUCEKY, A. RIHAY, J. VOKRINEKY, V. MARIKY and V.　PRAZMAZ, “ExPlanTech: Applying Multi-agent Systems in Production Planning”, Int. J. Prod. Res., Vol. 40, No. 15, 3681±3692, 2002.
[13]　K. H. Hall and F. P. Maturana, “Rockwell Automation Agents for Manufacturing”, AAMAS'05, July 25-29 2005.
[14]　D. Giglio and M. Paolucci, “Agent-based Petri Net Models for AGV Manufacturing in Manufacturing Systems”, IEEE, 2001.
[15]　W. Han and M. A. Jafari, “Component and Agent-based FMS Modeling and Controller Synthesis”, IEEE Transactions on Systems, Man, and Cybernetics—Part C: Applications and Reviews, Vol. 33, No. 2, May 2003.
[16]　J. Yu, J. Zhou, J. Yang, W. Wu, B. Fu and R. Liao, “Agent-based Retail Electricity Market：Modeling and Analysis”, Proceedings of the Third International Conference on Machine Learning and Cybernetics, Shanghai, 26-29 August 2004.
[17]　H. R. Choi, H. S. Kim, Y. J. Park, B. J. Park and Y. S. Park, “Multi-agent based Negotiation Support Systems for Order based Manufacturers”, Proceedings of the 5th International Conference on Electronic Commerce ICEC '03, Sep 2003.
[18]　M. Wooldridge, “An Introduction to Multiagent Systems”, Department of
Computer Science, University of Liverpool, UK,2:15
[19]　P. Maes, R. H. Guttman and A. G. Moukas, “Agent that Buy and Sell：Transformining Commerce as We Know It”, Communications of the ACM, Vol. 42, No.3, pp81-91, 1999.
[20]　W. Shen, D. H. Norrie and J. A. Barthes, “Multi-Agent System for Concurrent Intelligent Design and Manufacturing”, London and New York,pp.101-145, 2001.
[21]　V. A. Pham and A. Karmouch, “Mobile Software Agents: an Overview,” IEEE Communications Magazine, 36-37, 1998.
[22]　M. R. Genesereth and S. P. Ketchpel, “Software Agents,” Communications of the ACM, Vol. 37, No. 7, pp. 48-53, 1994.
[23]　S. J. Russell and P. Norvig, “ Artificial Intelligence: A Modern Approach”, Englewood Cliffs, New Jersey: Prentice Hall, 1995.
[24]　B. Bauer, P. Muller and J. Odell, “An Extension of UML by Protocols for Multiagent Interaction”, International Conference on MultiAgent Systems, pp.207-214, 2000.
[25]　P. Maes, R. H. Guttman and A.G. Moukas, "Agents that Buy and Sell," Communications of the ACM Vol. 42, No. 3, pp. 81-91, Mar. 1999.
[26]　M. Wooldridge, N. R. Jennings and D. Kinny, “Methodology for Agent-Oriented Analysis and Design,” in Proceedings 3rd Int. Conference on Autonomous Agents, pp. 69-76, 1999.
[27]　FIPA Specifications Policy. http://www.fipa.org/docs/output/f-out-00003/f-out-00003A.html.
[28]　R. David and A. Hassane, “Petri Nets and Grafcet,” Prentice Hall, ISBN 0-13-327537-X, 1992.
[29]　S.I. Ahson, “Petri Net Models of Fuzzy Neural Networks” IEEE Systems, Man and Cybernetics, pp. 926–932, June 1995.
[30]　M. Wooldridge, N. R. Jennings and D. Kinny, “The Gaia Methodology for Agent-Oriented Analysis and Design,” Journal of Autonomous Agents and Multi-Agent Systems, Vol. 3, No. 3, pp. 285-312, Mar 2000.
[31]　李志偉, 「以Petri Net為基礎的網路服務組合前置驗證及簡化方法」, 碩士論文, 2004
[32]　Y. Song and J. Lee, “Deadlock Analysis of Petri Nets Using the Transitive Matrix”, Proceedings of the 41st SICE Annual Conference, Vol. 2, pp.689-694, 2002.
[33]　AgentBuilder, http://www.Agentbuilder.com/AgentTools
[34]　F. Bellifemine, G. Caire, T. Trucco, and G. Rimassa, ” JADE Programmer’s Guide”, Italy: CSELT S.P.A, 2002.
[35]　M. Zhou, “Petri Net Synthesis for Discrete Event Control of Manufacturing Systems”, Kluwer Academic Publishers, 1993.
[36]　FIPA 97 Part 2 Version 2.0: Agent Communication Language Specification. http://www.fipa.org/specs/fipa00003/.
[37]　F. Bellifemine, F. Caire, T. Trucco, and G. Rimassa, “JADE Programmer’s Guide”, Version: JADE 3.3, March-2005.
[38]　D. A. Nehme and N.G. Pierce, “Evaluating the Throughput of Cluster Tools Using Event-Graph Simulations,” IEEE/SEMI Advanced Semiconductor Manufacturing Conference, pp.189-192., 1994.
[39]　C. H. Kuo, and H. P. Huang, “Failure Modeling and Process Monitoring forFlexible Manufacturing Systems Using Colred Timed Petri Nets”, IEEE Transactions on Robots and Automation, Vol.16, No.3, pp.301-311, 2000.
[40]　K. Sycara, K Decker, A. Pannu, M. Williamson and D.Zeng, “DistributedIntelligent Agents”, IEEE Expert, 11(6), pp.36-46., 1996.
[41]　J. E.Doran, S. Franklin, N. R. Jennings and T. J. Norman, “On Cooperation in Multi-Agent Systems”, The Knowledge Engineering Review, 12(3), pp.309-314., 1997.
[42]　T. H.Liu, A. Goel, C. E. Martin and K. S. Barber, “Classification andRepresentation of Conflict in Multi-Agent Systems”, Technical Report,TR98-UT-LIPS-AGENTS-01, Jan 1998.