網際網路的高速且高度成長，使得今日的網路應用及服務日趨豐富化，網路化理財的觀念，也因此而得以實現。但網路理財牽涉到諸多系統的整合問題，使得目前各金融機構在網路所提供的網路理財服務，在各方面資訊提供及應用上都顯得有限且重複性過高，網路理財的真正效益並沒有真正的達到最大化。網路上各個功能系統的相互獨立，要提供一完整性的解決方案在系統整合上已經是一大瓶頸，再者網路服務的使用者在使用服務時皆受限於網路應用系統本身的功能及資源，使用者無法真正的具備網路服務在選取及使用上的自主性。 　　在本研究中將試圖以XML Web Service的技術架構，建置一整合性的應用服務平台，讓平台能快速的和網路上任一網路應用提供者整合，並能整合網際網路上服務提供者所提供的服務，讓系統和系統間、使用者和系統間，都是以鬆散耦合結構來進行互動。使用者在使用網路服務時也能擺脫過去受限於網站應用提供資及應用上的限制，讓使用者在使用網路服務時能根據自己的需求進行個人化的服務選用，讓使用者得到的是即時性、個人化、整合性的資訊。

本篇論文以裴氏網(Petri-Net)描述系統，提出一啟發式的演算法則 ， 將此裴氏網分割為數個子系統，以便建構為分散式系統中獨立運作的 伺服器。吾人設計一系列的模擬實驗，以測試此演算法的績效。而後，本 篇論文列出影響分割的變數及各變數間的關係，並分析本演算法之特性。 而根據模擬實驗的結果分析，吾人對分散式環境之應用系統發展提出建議 。 / In this thesis, we use the Petri-Net to model a system, and we propose a heuristic algorithm to partition the Petri-Net into several autonomous servers. We then conduct a series of simula- tion experiments to test the performance of the algorithm and to identify the variables which influence the partition of the Petri-Net. Some factors influencing the properties of a partition are identified and their inter-relationships are shown. Based upon the simulation, we provide some suggestions for the develop- ment of the application in the distributed system environment.

分散式系統具有資源共享及運算更有效率等優點，使得分散式系統的應用越來越廣泛，有關分散式系統的研究也越受重視。一些存在分散式系統中的不正常現象，如：死結(deadlock)，饑餓(stravation)，及臨界競賽(critical race)往往會抵消掉資源共享的好處並且容易產生通訊(communication)的錯誤，另外，保證一分散系統中行程(process)均能正確的執行終止(termination)也是一項值得研究的重要課題。 　　本篇論文將就分散系統中的死結、饑餓、臨界競賽及中止等問題之過去的文獻提出討論，並分別比較優、缺點，最後列出一些尚未解決及值得深入研究的問題。 / There are some addvantages of distributed systems, such as resources sharing and computing efficiency. Thus, the applications of distributed systems are more prevalent. The research of distributed systems had got great worth. Some undesired or abcdrmal behaviors such as deadlock, starvation, and critical race exist in distributed systems, which often offset the advantages of resources sharing and are prone to communication errors. It is very important to guarantee the processes of a distributed system which can terminate finitely. 　　In this thesis, we'll have thorough discussions and comparisons of those four properties through literature survey and then point out some unsolved problems at last.