一個縮短發生圖建立時間的技術

Abstract

隨著資訊時代的進步，各類系統愈來愈複雜，分析這些系統正確性的方法好壞變得很重要。執行一個方法的需求時間也是這個方法好壞的一個關鍵點。派翠網是一種可以被用來分析許多系統的模型，而發生圖是派翠網的狀態圖。一個派翠網的發生圖可以被用來分析許多這個派翠網的特性。這篇論文提出了一個技術：當在特定條件下融合兩個派翠網間的轉移點時利用它們的發生圖來縮短建立新發生圖的時間。如此一來當一些使用發生圖的分析方法需要取得發生圖時即可節省時間。因為這個技術一次只融合兩個派翠網，融合三個以上的派翠網的方法以及影響也會被討論。另外，文章中也會提出這個技術的兩個較明顯的應用方向。

Petri net is a kind of model which can be used to analyze many kinds of systems. An occurrence graph is the state diagram of a Petri net. It can be used to analyze many kinds of properties of the net. This thesis presents a technique that reduces the occurrence graph building time by applying the occurrence graphs of two Petri nets whose transitions to be merged. Since the technique merges two Petri nets a time only, the policy of merging more than two nets is discussed in this thesis. Two significant applications are also indicated.