[發明專利]一種將FPGA硬件描述語言VHDL轉化為普通Petri網的方法

有效

• 申請號: 201310010846.9
• 申請日: 2013-01-11
• 公開（公告）號: CN103093046A
• 公開（公告）日: 2013-05-08
• 發明（設計）人: 葉丹丹;羅繼亮
• 申請（專利權）人: 華僑大學
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 泉州市文華專利代理有限公司 35205
• 代理人: 車世偉

1.一種將FPGA硬件描述語言VHDL轉為普通Petri網的方法，其特征在于包括如下步驟：

步驟1：針對編譯成功的VHDL程序，在實體中找到該程序的輸入X,輸出Y，其中X_m,X_n∈X,Y,Y_k∈Y，得到關于輸入輸出的邏輯表達式,稱為V2P公式：其中I,J,M,N∈{N⁺}，Y_k,X_m,X_N代表布爾量或布爾量取反，且

步驟2：令V2P公式中的Y_k=L_k,X_m,n=W_m,n或L_m，n，其中L_k,W_m，n，L_m，n為布爾量或布爾量的逆，得到一個關于L和W的邏輯關系式（1），為V2P公式的變形：

步驟3：將關于L和W的邏輯關系式（1）轉化為普通Petri網模型，具體步驟如下：

步驟3.1：用集合表示所有的傳感器W_P和執行機構L_Q，傳感器{W_p|W_p∈W_P,p,P∈N⁺}和執行機構{L_q|L_q∈L_Q,q,Q∈N⁺}；

步驟3.2：對于傳感器，用一對庫所來表示它的兩種狀態，假設初始狀態為

步驟3.3：首先令p=P；

步驟3.4：在之間加上兩個變遷，首先構造四條有向弧arc1、arc2、arc3、arc4分別由指向t₁，t₁指向指向t₂，t₂指向

步驟3.5：p=p-1；

步驟3.6：當p≠0時，轉步驟3.4，當p=0時，所有傳感器的模型都建立起來了；

步驟3.7：對于執行機構，用一對庫所表示該執行機構的兩種狀態假設初始狀態為

步驟3.8：首先令q=Q；

步驟3.9：在之間加入兩個變遷，構造四條有向弧arc1、arc2、arc3、arc4分別由指向t₁，t₁指向指向t₂，t₂指向

步驟3.10：將V2P公式中Ψ_j的表達式對應到邏輯關系式(1)中，即這部分中的與t₁之間用雙向弧連接，其中W‾n∈WP,]]>L‾n∈LQ;]]>

步驟3.11：將V2P公式中Φ_i的表達式對應到邏輯關系式(1)中，即這部分中的W_m,L_m與t₂之間用雙向弧連接,其中W_m∈W_P，L_m∈L_Q；

步驟3.12：q=q-1,；

步驟3.13：當q≠0時，轉步驟3.9，當q=0時，所有的執行機構的模型都建立起來了；

步驟3.14：將建立的傳感器和執行機構的模型合并起來，得到完整的Petri網模型。