petri網

規則：http://roclinux.cn/?p=1592   Petri網是對離散並行系統的數學表示。Petri網是1960年代由C.A.佩特里發明的，適合於描述異步的、併發的計算機系統模型。Petri網既有嚴格的數學表述方式，也有直觀的圖形表達方式。 由於Petri網能表達併發的事件，被認爲是自動化理論的一種。研究領域趨向認爲Petri網是所有流程定義語言之母。   經典的Petri網是簡單的

>>阅读原文<<