庫所
- 基于逆向搜索的模糊Petri網(wǎng)分層算法
層次結構不清晰、庫所/變遷間從屬關系不明確的問題，提出一種基于逆向搜索的FPN分層算法（HFPN-RS）以實現(xiàn)非層次化FPN到層次化FPN（HFPN）的自動轉換。首先，從終結庫所開始對整個FPN進行逆向搜索，將所有輸入庫所的前集、輸出庫所的后集分別劃分在同一層；其次，通過添加虛庫所-虛變遷對的方式明確整個模型的層次結構；同時提出兩條相關定理以明確HFPN分層層數(shù)的下確界和層次化操作中需要添加的最少虛庫所-虛變遷對數(shù)，并給出經(jīng)層次化操作后具有完整分層結構的F
計算機應用 2023年12期2024-01-09
- 基于Petri網(wǎng)模型的高鐵6‰下坡道延續(xù)進路防護方法
模所需的元素包括庫所（place）、變遷（transition）延時和令牌（token），分別對應軌道區(qū)段、列車出清時間和列車。以三要素為基礎，構建延續(xù)進路防護模型，仿真列車運行過程，以形式化驗證方法對延續(xù)進路進行安全性驗證。2.1 Petri網(wǎng)基本原理2.1.1 基本結構以示例站下行方向ⅠG接車進路為例，其對應模型見圖2。庫所xI被標記，表示通過按壓進路始、終端按鈕選排了ⅠG的接車進路，若庫所ⅠAG、ⅠDG、ⅠG同時被標記，表示對應的軌道區(qū)段處于空閑狀態(tài)
鐵道通信信號 2023年10期2023-10-25
- 基于Petri網(wǎng)的崇憑鐵路車站聯(lián)鎖進路建模與仿真
Petri 網(wǎng)的庫所、變遷延時和托肯在本文中分別對應于軌道區(qū)段、列車出清對應軌道區(qū)段的時間和列車，通過這三要素把列車在站內按計劃調度運行的過程動態(tài)仿真，進而進行形式化驗證。2.1 排列進路模型崇左南站IG 平面如圖2所示，基于圖2所建立的站內調度綜合模型如圖3所示。IG 接車進路在模型中開始的庫所為XI1，當?shù)啦韰^(qū)段1DG、7DG、13DG所對應的庫所S1、S7和S13均被標記時，變遷tI1使能并帶走庫所XI1、S1、S7和S13的托肯，同時發(fā)射一個托肯給
高速鐵路技術 2022年5期2022-11-24
- 基于Petri 網(wǎng)的平交道口信號設備故障診斷方法
分稱之為網(wǎng)。網(wǎng)由庫所、變遷和弧組成，弧是帶有方向的有向弧，庫所和變遷依靠有向弧連接，有向弧上帶有權值，托肯表示圖中的狀態(tài)信息。在Petri 網(wǎng)模型的圖像表達中，庫所用圖形圓表示，變遷用細長的矩形表示，托肯用小黑點表示，庫所中可以有若干托肯，當托肯數(shù)量較大時可用數(shù)字替代小黑點?；径x如下。Petri 網(wǎng)是一個四元組，用N=(P,T;Pre,Post)表示，其中：P表示有限庫所（Place）的合集，P={p1,p2,···,pm}；T表示有限變遷（Trans
鐵路計算機應用 2022年6期2022-06-30
- 基于帶抑制弧的Petri網(wǎng)表示的嵌入式系統(tǒng)模型的子網(wǎng)化簡
]給出了一種減少庫所和變遷數(shù)量的方法。對于PRES+系統(tǒng)，Xia[6]提出了化簡規(guī)則，在一定條件下，化簡后得到的PRES+與原模型完全等價。本文的主要動機是給出PIRES+保性化簡規(guī)則，使得化簡前后保持可達性、功能性和實時性等性質不變，不用進行可達空間分析，從而達到緩解狀態(tài)空間爆炸的目的。1 相關概念定義1PRES+模型N=(P,T,FI,FO,M0)，其中：P={p1,p2,…,pm}是庫所的有限非空集合；T={t1,t2,…,tm}是變遷的有限非空集合
計算機應用與軟件 2022年3期2022-03-18
- 基于Petri網(wǎng)軍民共用停機坪運行仿真與分析
2,…,pn}為庫所的有限集合，用圓圈表示；n=|P|>0為庫所的數(shù)量。(2)T={t1,t2,…,tm}為變遷的有限集合，用長方形或粗實線段表示；m=|T|>0為變遷的數(shù)量。(3)F為流關系，用單項箭頭表示。F=F1∪F2，稱為有向弧集。其中F1?PT，表示從P～T的二元關系；F2?TP，表示從T～P的二元關系。即每個庫所或變遷一定存在一個變遷或庫所與之相連接，不存在孤立節(jié)點。(4)K：P→R+(R+代表非負整數(shù)集合，集合P到自然數(shù)的映射)為庫所上的容量
科學技術與工程 2022年2期2022-02-18
- 基于廣義隨機有色Petri網(wǎng)的測試性建模方法
網(wǎng)，其中：P表示庫所，T表示變遷，F(xiàn)為弧權函數(shù)，M0為初始標識。1)N為基本網(wǎng)。2)M為系統(tǒng)狀態(tài)標識，M:P→Z，Z為自然數(shù)。3)變遷發(fā)生規(guī)則：①變遷t∈T，若?P∈t*，M(P)≥1，則t可被觸發(fā)，記作M[t>，其中t*為變遷t的后置集，M(P)為庫所標識。②M′為觸發(fā)后標識，則記作M[t>M′. 其中p為某種故障模式的故障檢測率；*t為變遷t的前置集；標識M可以用1個非負整數(shù)的m維向量表示，向量元素滿足M(i)=M(Pi)，Pi為一個庫所，i=1,2,
兵工學報 2021年3期2021-05-06
- 基于FPGA 的有色Petri 網(wǎng)仿真系統(tǒng)設計*
下對P/T 網(wǎng)(庫所/變遷網(wǎng))進行的建模及模型的仿真驗證；并且在通用計算機系統(tǒng)上，存在模擬PN 并發(fā)性低效與仿真速度慢的問題?，F(xiàn)場可編程門陣列(FPGA)提供了一種新的建模方法。 FPGA 與通用計算機系統(tǒng)相比具有速度快、可重構和能效比高的優(yōu)勢，并且可直接描述Petri 網(wǎng)異步并發(fā)的特性。 隨著Petri 網(wǎng)規(guī)模的擴大與復雜度的增加，F(xiàn)PGA 的速度優(yōu)勢會越來越明顯。目前對基于FPGA 的PN 仿真系統(tǒng)的研究較少，且大多數(shù)涉及Petri 網(wǎng)的研究，都是以P
電子器件 2021年1期2021-03-23
- 復合Petri網(wǎng)的主從式多智能體通信建模方法*
對Petri網(wǎng)的庫所屬性進行定義，建立相應的Petri網(wǎng)處理模型。并且在此基礎上，構建基于主從式多智能體編隊的實驗場景進行模型驗證，結果實現(xiàn)了編隊的通信過程，表明Petri網(wǎng)可以對主從式多智能體系統(tǒng)通信建模處理、對消息的通信可靠性提供保證，并能緩解通信消息對系統(tǒng)計算資源的壓力。2 基于Petri網(wǎng)的主從式智能體通信2.1 主從式智能體通信在主從式多智能體中，消息分為智能體可識別消息(高優(yōu)先級消息和一般消息)和智能體不可識別消息(錯誤消息，包括噪聲和空消息)
計算機工程與科學 2021年2期2021-03-01
- 基于Delphi-模糊Petri 網(wǎng)的航空發(fā)動機故障診斷
[8]：（1）用庫所（Place）來表示狀態(tài)，一般用圓表示。（2）用變遷（Transition）表示事件或者轉換過程，一般用矩形來表示。（3）用流關系（Flow Relation）表示事件發(fā)生的條件，或者用弧（Arc）來表示庫所與變遷之間的關系。（4）標志（Token）一般用庫所里的點來表示，或者直接寫成數(shù)字，表示系統(tǒng)中的數(shù)據(jù)、狀態(tài)或者資源。以上要素構成了網(wǎng)（Net）的基本結構，如圖1所示。圖1 基本Petri 網(wǎng)的結構不同的文獻在不同的應用背景下，對模糊
航空發(fā)動機 2020年6期2021-01-12
- 基于Petri網(wǎng)的單元控制系統(tǒng)及編程研究
C程序設計中融入庫所、變遷、托肯、有向弧的元素，實現(xiàn)Petri網(wǎng)并發(fā)、爭奪、共享資源的特性，最后，面向Petri網(wǎng)模型中的對象，將Petri網(wǎng)模型中的對象快速映射至PLC程序中，使PLC運行邏輯與Petri網(wǎng)模型保持一致。本文以艙體制造單元為例，闡述了該方法的應用。Petri網(wǎng)；仿真；控制系統(tǒng)；PLC程序設計1 引言隨著航天的快速發(fā)展，航天飛行器關重件對制造品質的要求不斷增強，應用自動化制造單元的需求也隨之增長，同時，同類結構件在制造單元中的適應性要求不斷
航天制造技術 2020年6期2021-01-05
- 基于FPGA的Petri 網(wǎng)模擬器設計與實現(xiàn)
2、s3、s4為庫所，t1、t2、t3、t4為變遷。在使用Petri網(wǎng)模擬系統(tǒng)時，M0來描述其初始狀態(tài)。在初始狀態(tài)時，因為可能有不止一個變遷具備發(fā)生權，使得系統(tǒng)存在著多種可能性。只要有變遷發(fā)生，系統(tǒng)就會進入一個新的狀態(tài)，同時得到新的標識M1。在新標識M1下可能也會存在有發(fā)生權的變遷。網(wǎng)系統(tǒng)就是伴隨著變遷的發(fā)生而運行的。圖1 典型的基本Petri網(wǎng)Petri網(wǎng)可看作是對狀態(tài)機的一種推廣：變遷起源于多個活動狀態(tài)，若干狀態(tài)可能需要處于活動狀態(tài)才能使能變遷。Pet
實驗室研究與探索 2020年11期2020-12-11
- 基于部分狀態(tài)空間存儲的Petri網(wǎng)庫所界求解算法
如果能夠求出每個庫所p的界b，那么在系統(tǒng)設計時，只要庫所p所表示資源的容量不小于b，就能保證系統(tǒng)正常運行.此外，庫所界的信息還可以指導可達標識的存儲，通過位存儲的方式減少存儲可達標識所需的空間.也就是說，若已知庫所p的界為b，則只需lbb比特的存儲空間來存儲該庫所的標識數(shù).目前求解庫所界的方法有兩種：一種方法是完全生成狀態(tài)空間[2-3]，但對存儲空間的要求過高；另一種方法是用P 不變量估計庫所界[4]，但存在無法精確求解所有庫所界的問題.為此，本文提出了一
應用科學學報 2020年5期2020-10-21
- 基于Petri網(wǎng)的區(qū)塊鏈應用系統(tǒng)業(yè)務流程模型研究
P為Petri網(wǎng)庫所的集合，庫所用于表示流程路徑的Token容器，?p∈P稱為一個庫所；(2)T為交易的集合，區(qū)塊鏈應用的原子任務稱為交易，T有兩個子集U和S，U是數(shù)據(jù)層操作交易的集合，S是應用層交易的集合，T=U∪S，U∩S=?；(3)V是對交易進行分布式共識計算后的驗證狀態(tài)的集合，?v∈V∧?v(v=0∨v=1)；(4)F是連接交易和庫所之間的弧的集合，?t1∈T∧?t2∈T?(t1,t2)∈F∨(t2,t1)∈F。推理1在PCN中至少包含兩個特殊的庫
計算機應用與軟件 2020年9期2020-09-09
- 運動想象腦機接口系統(tǒng)的Petri網(wǎng)建模方法
方法.1 帶控制庫所的合成Petri網(wǎng)1.1 帶控制庫所的Petri網(wǎng)采用的Petri網(wǎng)結構可定義為一個五元組PN={P,T,E,W,m0}.式中:P是一個數(shù)量有限且不為零的庫所集；T={t1,t2,…,ti}是一個數(shù)量有限且不為零的變遷集；E?(P×T)(T×P)是一個有序對的集合，表示庫所與變遷之間的有向?。籛:E→Z+是一個正整數(shù)集合，表示在有向弧上的投影，即權值；m0是系統(tǒng)的初始標識，描述系統(tǒng)在初始狀態(tài)時，每個庫所里拖肯(token)的數(shù)目.在建立
華僑大學學報（自然科學版） 2020年1期2020-02-27
- 時間約束下任務關鍵系統(tǒng)的可調度性分析
,文中給出每一個庫所的時間約束最大值,即Vpmax。另一方面,將任務根據(jù)不同的重要程度分為不同的等級,文中將其分為2個等級。定義1關鍵系統(tǒng)中的任務分為關鍵任務和非關鍵任務。其中,關鍵任務是為完成最終任務必須要執(zhí)行的任務,且每個工作流程中最少要有一個關鍵任務。1.2 TCCP-Net定義定義2時間約束著色Petri網(wǎng)(TCCP-Net)。一個時間約束著色Petri網(wǎng)是一個七元組:TCCP-Net=(P,T,F,M0,C,PT,D)。1)P:描述系統(tǒng)庫所(Pl
計算機工程 2018年12期2019-01-02
- 基于展開的狀態(tài)空間搜索方法
個有向二分圖，由庫所和變遷組成。可達圖作為分析Petri網(wǎng)動態(tài)性質的一種重要分析技術，被大量廣泛使用。但是，基于可達圖的狀態(tài)空間搜索方法需要考慮并發(fā)事件間所有的交織可能，進而導致狀態(tài)空爆炸。也就是說，使用基于可達圖的狀態(tài)空間搜索方法對并發(fā)系統(tǒng)進行分析時，常常面臨效率低下的問題。針對上述問題，McMillan在1995提出了展開（unfolding）的概念。與基于可達圖的狀態(tài)空間搜索方法相比，基于展開的狀態(tài)空間搜索方法不需要考慮并發(fā)事件間的所有可能交織，可避
電子技術與軟件工程 2018年10期2018-07-16
- 基于信息驅動機制的導彈作戰(zhàn)流程建模問題*
模型建立2.1 庫所類要素模型庫所是作戰(zhàn)流程中事物、條件或對象的抽象，是資源和信息的容器，是活動執(zhí)行和發(fā)生的實體、通道或地理位置。提取導彈作戰(zhàn)要素作為Petri網(wǎng)模型的庫所，如指揮節(jié)點、武器系統(tǒng)、關鍵戰(zhàn)位等，記作p。不同的庫所可以描述處于不同狀態(tài)下的同一作戰(zhàn)要素。在此，對傳統(tǒng)庫所進行屬性拓展，并將拓展后的庫所抽象成實體類模型。在此約定，M（p）表示庫所p的狀態(tài)，M表示庫所集p的狀態(tài)。2.1.1 模型定義1）靜態(tài)屬性描述靜態(tài)屬性是對庫所固有信息的描述，包括：
火力與指揮控制 2018年6期2018-07-13
- 基于模糊Petri網(wǎng)的架空輸電線路狀態(tài)評估
8]。其中P表示庫所集合，涵蓋所有的狀態(tài)元素。T表示變遷集合。F表示流關系。經(jīng)典Petri網(wǎng)模型可用于明確、量化的推理場景中。架空輸電線路狀態(tài)評估為模糊推理，難以采用經(jīng)典Petri網(wǎng)模型。模糊Petri網(wǎng)（fuzzy petri nets, FPN）在經(jīng)典Petri網(wǎng)的基礎上，具有了模糊推理特性和良好的容錯能力，適用于架空輸電線路狀態(tài)評估。1 FPN網(wǎng)絡結構及算法本模型采用單層單指向FPN。單層表示FPN沒有中間層，僅有輸入層和輸出層。單指向表示FPN中的
電氣技術 2018年6期2018-06-21
- 基于事件起點的層次化時序Petri網(wǎng)及其電網(wǎng)故障診斷方法
某元件相關的多個庫所時序關聯(lián)矩陣,對比典型時序關聯(lián)模型對保護和斷路器的告警信息進行糾錯;文獻[12]對線路兩側不同保護、斷路器之間的時序進行交叉檢查,得到保護與斷路器之間時序配合的一致性并修正診斷模型;文獻[13]考慮元件故障、保護動作和斷路器跳閘之間的延時約束,通過將時序約束網(wǎng)絡和模糊Petri網(wǎng)進行融合實現(xiàn)錯誤警報的自動過濾。上述方法應用于電網(wǎng)故障診斷有一定的容錯性和適應性,但存在以下局限:①對于告警信息時序特性的利用主要局限于告警信息的篩選和驗證階段
電力自動化設備 2018年2期2018-05-18
- 基于擬間接依賴的流程挖掘優(yōu)化分析
：（1）P是有限庫所集，T是有限變遷集。（3）F=(P×T)?(T×P）表示PN 的流關系。在Petri網(wǎng)PN中存在一種弱序關系，即包含T×T所有的變遷對(x,y)中存在一個發(fā)生序列δ=t1t2…tn，當i∈{1,2,…,n-1}時，i＜j≤n有ti=x且tj=y,x?y，依據(jù)這種弱序關系定義了行為輪廓。定義2[12]（Petri網(wǎng)的行為輪廓）PN=(P,T,F)是一個Petri網(wǎng)，對任意的變遷對(x,y)∈(T×T)，滿足下列關系之一：則以上幾種行為關系
計算機工程與應用 2018年9期2018-05-08
- 考慮非周期消息的1553B總線Petri網(wǎng)建模與分析
…,pm}是有限庫所集合，m表示系統(tǒng)中庫所的數(shù)目。?T={t1,t2,…,tn}是有限變遷集合，n表示系統(tǒng)中變遷的數(shù)目。?A是有限弧集合，滿足：P∩T=P∩A=T∩A=?。?N是節(jié)點函數(shù)，定義為N:A→P×T∪T×P。?C是顏色函數(shù)，定義為C:P→∑。?G是警戒函數(shù)，定義為G:T→Expressions。?E是弧表達式函數(shù)，定義為E:T→Expressions。?I是初始化函數(shù)，定義為I:P→ClosedExpressions。CPN顏色集決定了CPN中標
計算機應用與軟件 2018年2期2018-04-18
- 基于CPN的OAuth協(xié)議建模與分析①
有替代變遷和融合庫所,可利用多個彼此聯(lián)系的CPN網(wǎng)子模型構建復雜系統(tǒng)的整體模型.(2)可實現(xiàn)推理.具有變遷機制,庫所被觸發(fā)后變遷到達新的庫所,因果關系明確.(3)可處理并發(fā)或順序性問題.具有時間因子可以處理不同行為發(fā)生的時間.(4)有較完善的仿真工具,可使用CPNTools工具進行可視化建模和仿真分析.4 OAuth2.0協(xié)議建模4.1 OAuth2.0協(xié)議的頂層模型基于CPN的OAuth2.0協(xié)議頂層模型如圖2所示,定義模型的顏色集和變量如下:colse
計算機系統(tǒng)應用 2018年2期2018-03-02
- 基于時間Petri網(wǎng)的綜合航電系統(tǒng)時序驗證分析
,…,pn}，為庫所的有限集合；T={t1,t2,…,tn}，為變遷的有限集合；I：T→P為從變遷到所有庫所得輸入映射函數(shù)；O：T→P為從變遷到所有庫所得輸出映射函數(shù)；F?(T×P) ∪(P×T)為庫所和變遷之間所有關聯(lián)弧的集合；δ={δ1,δ2,…,δn}為對應所有變遷的時間約束條件集合。圖1 一個簡單的TPN為了方便后續(xù)的討論，假設pi和tk為TPN中的某個庫所和變遷，則定義tk的最近前驅庫所集合NPre(tk)、前驅庫所集合Pre(tk)、最近后繼庫
計算機測量與控制 2017年11期2017-12-15
- Petri網(wǎng)的任務分解原理概述
，其中:P為模糊庫所的有限集合；T為模糊變遷的有限集合；D為定義在T上的實函數(shù)；M0為初始標識。任務映射為庫所集，邏輯規(guī)則映射為變遷集，元任務的可信度映射為模糊 Petri 網(wǎng)的初始標識。任務分解序列采用Petri網(wǎng)建模后，任務分解規(guī)劃問題將轉化為最優(yōu)變遷序列激發(fā)問題，激發(fā)序列的優(yōu)化是在可行激發(fā)序列內實現(xiàn)的。模糊Petri網(wǎng)推理是一種基于目標驅動的推理，即尋找與目標任務相關的最可能的分解，對任務分解的解釋可通過的動態(tài)來顯示，是一種有效的分解方法。模糊Pet
電子世界 2017年15期2017-08-30
- 針對并行軟件待測行為測試的模型化簡方法
、同步變遷、分叉庫所、匯合庫所等特殊節(jié)點的個數(shù)分成若干個子模塊；其次，判斷待測行為在模型中的位置，建立待測行為測試集；最后，對每一個并行模塊中符合化簡條件的非待測行為設定執(zhí)行優(yōu)先級。通過對化簡前后狀態(tài)空間分析報告的對比，狀態(tài)空間中節(jié)點的縮減率至少達到40%以上，并且在化簡前后對于待測行為生成的全覆蓋測試路徑不受影響。著色Petri網(wǎng)；并行軟件；待測行為；優(yōu)先級；測試集；全覆蓋0 引言隨著軟件技術和產業(yè)的發(fā)展，并行軟件已經(jīng)成為常見的軟件形式，并且在軟件的開發(fā)
計算機應用 2017年5期2017-07-31
- 直覺模糊Petri網(wǎng)的雙向模糊故障推理算法*
，則需要不斷調整庫所和變遷的可信度、閾值或權值，直到兩者結論相符為止。例如文獻[2]提出將正反向推理相結合，并給出相應的診斷推理算法，實用性較強。針對故障診斷中存在的不確定性信息的問題，文獻[3]通過改進的模糊Petri網(wǎng)算法有效地解決了故障診斷過程中不確定性知識的模糊推理，通過引入虛庫所和虛變遷概念解決了變遷是否觸發(fā)以及最后故障事件模糊值的確定問題。文獻[4]將模糊Petri網(wǎng)應用于高速鐵路牽引供電系統(tǒng)故障診斷，能夠在不確定或信息缺失的情況下，提高故障區(qū)
計算機與生活 2017年6期2017-06-15
- 模糊Petri網(wǎng)在某型載車系統(tǒng)故障診斷中的應用
糊Petri網(wǎng)由庫所P和變遷T組成，它將模糊產生式規(guī)則中的命題看作庫所，用圓圈“○”表示；將模糊產生式規(guī)則中的推理過程看作一種變遷，用豎線“|”表示；命題之間的因果關系用庫所和變遷之間的有向弧表示。為了更好地解釋模糊Petri網(wǎng)（Fuzzy Petri Nets），這里將其定義為一個九元組[7]：FPN（P，T，D，I，O， f，α，β，λ）；根據(jù)上述定義，將1.1中的模糊產生式規(guī)則用模糊Petri網(wǎng)的形式表達出來，如圖1所示，從圖中可以看出，故障狀態(tài)的傳
數(shù)碼世界 2016年11期2016-12-19
- 基于蟻群算法和Petri網(wǎng)的井下有軌運輸調度優(yōu)化
信息素與變遷輸出庫所的時延相關聯(lián)，將蟻群算法的尋優(yōu)規(guī)則融合進Petri網(wǎng)的進化規(guī)則中。運算時設置螞蟻令牌，根據(jù)進化規(guī)則運行多次，便可逐步找到最優(yōu)路徑，即可確定最優(yōu)調度方案。1 基于蟻群算法優(yōu)化的時間Petri網(wǎng)模型在Petri網(wǎng)中，將系統(tǒng)抽象為活動(事件)、狀態(tài)及其之間的關系，組成三元結構。一般用庫所P(Place)表示狀態(tài)，用遷移T(Transition)表示活動[2]。庫所能夠決定遷移是否發(fā)生，而遷移可以改變庫所狀態(tài)，他們之間的相互依賴關系用輸入函數(shù)和
現(xiàn)代礦業(yè) 2016年5期2016-09-26
- 基于Petri網(wǎng)的最短路徑算法的研究
由表示狀態(tài)的元素庫所P（Place）和表示狀態(tài)變化的元素變遷T（Transition）[8]兩類元素組成。其中網(wǎng)的部分描述系統(tǒng)的結構，標識部分表示系統(tǒng)的狀態(tài)。通常，小圓圈表示庫所用來決定變遷是否使能，而小方框表示變遷用以改變系統(tǒng)的運行狀態(tài)。庫所與庫所之間，變遷與變遷之間不能有依賴關系。1.2擴充Petri網(wǎng)本文需要對日常的公共交通運用Petri網(wǎng)進行仿真建模，考慮到如果只用最基本的Petri網(wǎng)難以描述和計算，因此有必要對托肯和變遷的使能規(guī)則進行擴展。首先對
電子設計工程 2016年1期2016-09-08
- 基于模糊Petri網(wǎng)的GIS故障診斷與可靠性分析
計算出中間和目標庫所的概率重要度，并對初始庫所重要度進行分析；在已知故障現(xiàn)象的情況下，通過反向的模糊推理規(guī)則，找出故障原因。以GIS絕緣缺陷和機械故障為例，驗證了GIS故障模型和FPN方法的正確性和快速性。GIS； 模糊Petri網(wǎng)； 可靠性分析； 故障診斷1 引言氣體絕緣金屬封閉開關設備(Gas Insulated Switchgear，GIS)具有占地面積小、可靠性高、安全性好、檢修周期長和受環(huán)境影響小等眾多優(yōu)點，因而被廣泛應用于城市變電站[1-4]。
電工電能新技術 2016年5期2016-05-20
- 基于Petri網(wǎng)的維修保障過程可視化建模與仿真
）。P 代表有限庫所集P＝ ｛P1，P2，…Pn｝；T 代表有限變遷集T＝ ｛T1，T2，…Tm｝；AP×T∪T×P 代表有向弧集；C 代表與庫所有關的有限顏色集；FT 代表某令牌到達某庫所的模糊時間戳；D 代表與變遷輸出弧集T×P 有關的模糊延時；FTE 代表變遷的模糊使能時間；FOI代表變遷的模糊發(fā)生間隔；FOT 代表變遷的模糊發(fā)生時間；M0代表庫所的初始標記。1.2 模糊時間著色Petri網(wǎng)規(guī)則（1）顏色集規(guī)則：顏色用來區(qū)分資源的種類。資源充足程度的
計算機工程與設計 2015年2期2015-12-23
- 基于進程網(wǎng)模型的仿真技術研究
網(wǎng)，有兩個特殊的庫所：i和o。庫所i是組件的起始庫所，即·i=?，在程序中用TopPlace表示；庫所o是組件的終止庫所，即o·=?；在程序中用BottomPlace表示。A是所有動作的集合，由英文字母組成的字符串表示，I?T，是變遷的集合，但只表示接受的消息，O?T，同樣是變遷集合，但只表示輸出的消息，這兩個合起來就是PrN的接口變遷集合。PrN定義了最基本組合并稱其為基本PrN（BasicComponent），由兩個庫所一個變遷組合而成，復雜的網(wǎng)結構由
中國新技術新產品 2015年13期2015-11-16
- 一種新型擴展Petri網(wǎng)理論方法研究
色元素，它可以對庫所中描述的信息流進行分類，可以表示系統(tǒng)中的多種信息，使用這類Petri網(wǎng)對系統(tǒng)建模，可以實現(xiàn)網(wǎng)系統(tǒng)的折疊，使所建模型簡單、明了。帶抑制弧和使能弧的著色Petri網(wǎng)是一個十元組其中（1）N=（P，T；F）是一個網(wǎng)（2）C是顏色的一個有限集合C=｛c1，c2，c3，c4，…，ck｝（3）WF：F→L（C）+表示有限弧集到顏色域函數(shù)的映射（4）I?P×T，E?P×T分別為抑制弧集和使能弧集，且I∩E=?，（I∪E）∩F=?（5）WI：I→C'（
現(xiàn)代計算機 2015年10期2015-09-21
- 基于新型擴展模糊Petri網(wǎng)的食品冷鏈故障診斷方法
故障的原因.利用庫所帶有的關鍵因素開始時間信息可排除未發(fā)生的因素，降低診斷推理過程的復雜程度.最后通過實例對該模型進行了驗證和分析.冷鏈故障診斷；模糊Petri網(wǎng)；時間信息；食品安全近年來，食品安全問題已被越來越多的人所關注，對冷鏈物流的關注度也隨之急劇升溫.所謂冷鏈物流是指冷藏冷凍類食品在生產、貯藏運輸、銷售等到消費前的各個環(huán)節(jié)中始終處于規(guī)定的低溫環(huán)境下，以保證食品質量，減少食品損耗的一項系統(tǒng)工程［1］.與普通物流的區(qū)別不僅在于食品對衛(wèi)生環(huán)境的要求極高，
天津科技大學學報 2015年2期2015-08-09
- 針對α網(wǎng)的最優(yōu)線性約束轉換方法
出了轉換后的禁止庫所集集合的求解算法;最后,根據(jù)禁止庫所集集合構造了“邏輯或”形式的最大允許線性約束.并且通過一個例子,說明了該方法的有效性.Petri網(wǎng);離散事件系統(tǒng);禁止狀態(tài);不可控變遷在離散事件系統(tǒng)中,監(jiān)控系統(tǒng)行為使其不進入禁止狀態(tài)并滿足系統(tǒng)的性能要求是極其重要的.但是如何控制系統(tǒng)行為,避免其進入禁止狀態(tài)是一個非常棘手的問題.此類控制問題可以用線性約束方法來表示.在基于Petri網(wǎng)的離散事件系統(tǒng)監(jiān)控器設計[1-14]中,線性約束轉換問題一直是研究的重
西安電子科技大學學報 2015年5期2015-07-24
- 模糊Petri網(wǎng)在液壓提升機液壓系統(tǒng)診斷中的應用
準確地計算出各個庫所的可信度，并可以對初始庫所重要度進行分析，大幅減少診斷時間。以液壓提升機的提升故障為例，驗證了該算法的正確性和高效性。模糊Petri網(wǎng)；模糊產生規(guī)則；故障診斷；液壓提升機隨著液壓技術的發(fā)展，其在工程機械、工業(yè)設備、石油勘探、石油鉆采、軍工等行業(yè)得到了廣泛的應用。一旦其系統(tǒng)出現(xiàn)故障，會危及到整個設備的安全，甚至是操作人員的人身安全。因此人們對液壓系統(tǒng)的穩(wěn)定性、可靠性的要求越來越高。然而液壓系統(tǒng)中液壓油在部件和管路中的流動狀況，外界是看不到
石油礦場機械 2015年6期2015-07-23
- 一種新的基于直覺模糊Petri網(wǎng)的模糊推理算法*
的推理過程中引入庫所重排策略，提出一種新的基于IFPN模型的庫所重排策略的推理算法，有效簡化模糊推理過程。最后，通過實例檢驗此算法的可行性和有效性。2 基本定義2.1 算法所涉及的相關定義直覺模糊集是保加利亞學者Tanassov K A[9]在模糊集基礎上提出的新概念，增加了一個新的屬性參數(shù)—非隸屬度函數(shù)，以一個區(qū)域值代替了隸屬度，具有更強的模糊描述能力。直覺模糊Petri網(wǎng)是在Petri網(wǎng)的基礎上擴展而來的，它應用的出發(fā)點是基于其知識表達和邏輯推理功能。
計算機工程與科學 2015年2期2015-07-10
- 面向系統(tǒng)概念設計的OPM到CPN轉換方法
PN的建模元素是庫所、變遷、令牌和弧。庫所描述系統(tǒng)可能處于的狀態(tài);變遷描述系統(tǒng)的行為，即狀態(tài)的變化;弧描述狀態(tài)在變遷發(fā)生時變化的方向，可由弧上的表達式描述具體的條件;每一個庫所包含一些令牌，令牌帶有給定類型的數(shù)據(jù)值，這些數(shù)據(jù)值的類型即顏色集。顏色集的定義可以使令牌之間相互區(qū)分，這也是CPN與Petri網(wǎng)最顯著的區(qū)別。CPN Tools是支持編輯，仿真和分析CPN的成熟的工具，其嵌入語言是標準ML語言。CPN Tools有不同的仿真模式，可運用監(jiān)視器觀察、干
指揮控制與仿真 2015年6期2015-04-23
- 基于最大似然譯碼字的Petri網(wǎng)電網(wǎng)故障診斷方法
基本Petri網(wǎng)庫所、變遷及它們之間的流關系可構成一個基本Petri網(wǎng)。庫所中的托肯(token)表示該庫所所處的狀態(tài)或所擁有的資源，變遷表示在使能狀態(tài)下對事件的處理，即庫所的狀態(tài)發(fā)生變化且達到一定條件時變遷將被觸發(fā)，托肯將通過流關系由一個庫所轉移到下一個庫所，使得下一個庫所的狀態(tài)發(fā)生改變。1.2 電網(wǎng)故障模型的建立如圖1所示，若線路L12發(fā)生故障，正常情況下，主保護R1和R2應能起動，觸發(fā)脫扣信號使斷路器CB1和CB2跳閘將故障線路切除。若斷路器CB1拒
電工技術學報 2015年15期2015-04-06
- 基于FHPN的道路交叉口交通流信號實時控制優(yōu)化研究
Pc，Pd是離散庫所的集合，Pc是連續(xù)庫所的集合，Pd∩Pc=?，離散庫所Pd可分為兩種庫所子集合，即相位標識庫所集合Pp和綠燈時間庫所集合Pg，Pp∩Pg=?；(2)T=Td∪Ti∪Tr，Td是模糊延時變遷的集合，Ti為瞬時變遷的集合，Tr為模糊推理變遷的集合，Td∩Ti∩Tr=?；(3)A?(P×T)∪(T×P)為輸出弧和輸入弧的集合；(4)DT:〈Pp，Td〉→[α，β]為庫所Pp和變遷Td到正整數(shù)區(qū)間[α，β]的映射函數(shù)，α，β∈N+且Pp∈?Td
華中師范大學學報（自然科學版） 2015年3期2015-03-21
- 利用Petri網(wǎng)特征結構的故障診斷方法
t）.其中：P是庫所的集合，P＝｛p1，p2，…，pn｝；T是變遷的集合，T＝｛t1，t2，…，tm｝；Pre：P×T→｛0，1，…｝是前向關聯(lián)矩陣，定義了從庫所到變遷的有向弧的權值；Post：T×P→｛0，1，…｝是后向關聯(lián)矩陣，定義了從變遷到庫所的有向弧的權值.標識是n維的列向量m，其元素m（j）是第j個庫所的托肯數(shù)目.m0是系統(tǒng)的初始標識，變遷tj可表示為一個m維向量δj，其第j分量等于1.當tj發(fā)生后，系統(tǒng)到達新標識m′＝m+D·δj.其中：D＝P
華僑大學學報（自然科學版） 2014年4期2014-10-11
- 基于Petri網(wǎng)的WEB服務組合建模及驗證
組合網(wǎng)，其中P為庫所集合，W為Web服務集合，F(xiàn)為庫所到Web服務的弧的集合。（1）PN有兩個特殊的庫所：起始庫所i和終止庫所o，i的前驅庫所為空，o的后繼庫所為空，形式化表示為（2）如果在PN中加入一個新的服務w，使w連接庫所i與o，則w的前驅庫所為i，后繼庫所為o，形式化表示為：·w＝｛i｝，w·＝｛o｝。1．2 Web服務組合模型的圖形化表示W(wǎng)eb服務組合模型將單一的Web服務用庫所和弧連接在一起，其中，Web服務使用矩形表示，庫所使用圓形表示；每個
宿州學院學報 2014年3期2014-07-13
- S3PR網(wǎng)的嚴格極小信標計算方法
PR網(wǎng)中一類特殊庫所與嚴格極小信標的關系，筆者針對這類特殊庫所進行研究，提出基于環(huán)資源計算嚴格極小信標的方法．由于該方法避免環(huán)資源子集特征資源子網(wǎng)[5]強連通的判斷，所以與環(huán)資源子集法[5]相比，有更高的計算效率．1 計算嚴格極小信標Peri網(wǎng)、S3PR網(wǎng)以及資源環(huán)的基本定義和相關符號說明參見文獻[1-2, 5]．在這一部分，筆者針對S3PR網(wǎng)中一類特殊操作庫所和特殊資源庫所進行定義與分析．在下面的討論中，用Ω來表示S3PR網(wǎng)N=(PA∪P0∪PR，T，F(xiàn)
西安電子科技大學學報 2014年4期2014-07-11
- Petri網(wǎng)結點精化及其應用
。如果這個結點是庫所，就稱為庫所精化(Place Refinement);結點是變遷，就稱為變遷精化(Transition Refinement)。使用結點精化的技術可以使包含眾多結點的Petri網(wǎng)在形式上更為簡潔，在包含特定的語義時更能幫助理解Petri網(wǎng)。但是，結點精化的方法存在諸多問題。首先，它對下層網(wǎng)有嚴格的限制。結點精化子網(wǎng)要求必須只有一個入口一個出口。對于庫所精化，入口、出口要求是庫所，即所謂P-P網(wǎng)或P型網(wǎng)。對于變遷精化入口、出口要求是變遷，
計算機與現(xiàn)代化 2014年7期2014-07-03
- 模糊Petri網(wǎng)在某型武器載車系統(tǒng)故障診斷中的應用
Petri 網(wǎng)由庫所P 和變遷T 組成，它將模糊產生式規(guī)則中的命題看作庫所，用圓圈“○”表示;將模糊產生式規(guī)則中的推理過程看作一種變遷，用豎線“|”表示;命題之間的因果關系用庫所和變遷之間的有向弧表示。為了更好地解釋模糊Petri 網(wǎng)(Fuzzy Petri Nets)，這里將其定義為一個九元組［7］:FPN(P，T，D，I，O，f，α，β，λ);其中:P={P1，P2，…，Pn}是一個有限的庫所集;T={t1，t2，…，tn}是一個有限的變遷集;D ={
兵器裝備工程學報 2014年4期2014-07-03
- 一種遞歸π演算向Petri網(wǎng)的轉換方法
，其節(jié)點分別稱為庫所和變遷。這些節(jié)點通過有向弧相連。相同類型的兩個節(jié)點之間是不允許相連的。1.2 轉換規(guī)則遞歸π演算向Petri網(wǎng)轉換要遵循一些轉換規(guī)則，在本文中將這些規(guī)則概括為兩類：基本進程的轉換規(guī)則以及組合規(guī)則。1.2.1 基本進程轉換規(guī)則對于向子網(wǎng)K（ρ）的轉換，是根據(jù)表達式ρ的語法樹，其組成為給定基本子項（進程項0，進程調用，內部動作以及輸入輸出前綴）的圖轉換。由于不涉及任何的名字操作，因此進步進程項0和內部動作前綴τ十分簡單。進程調用X（α1，…
吉林大學學報（工學版） 2014年1期2014-04-12
- 基于一種擴展模糊Petri網(wǎng)的列車運行晚點致因建模分析
2,…,pn}是庫所節(jié)點的有限集合；T={t1, t2,…,tm}是變遷節(jié)點的有限集合；I是輸入函數(shù)，即從庫所集到變遷集的映射P× T→{0,1}，若I(p，t)＝1，表明pi是ti的輸入庫所，否則不是，I(ti)表示變遷ti的輸入庫所集合；O是輸出函數(shù)，即從變遷集到庫所集的映射P× T→{0,1}，若O(p，t)＝1，表明pi是ti的輸出庫所，否則不是，O(ti)表示變遷ti的輸出庫所集合；α是庫所到該庫所中托肯的映射，α(pi)＝αi表示庫所pi的托肯
天津科技大學學報 2014年4期2014-02-27
- 基于擴展Petri網(wǎng)的ECA規(guī)則集表示及終止性分析
)。1) P 是庫所的有限集，P=Pe∪Pt∪Pv∪Pn∪Pc，其中，Pe是事件庫所集，Pt是處于觸發(fā)態(tài)的庫所集，Pv是處于激活態(tài)的庫所集，Pn是動作庫所集，Pc是條件庫所集。Pe、Pt、Pv、Pn和Pc兩兩不相交。2) T是變遷的有限集，Tt?T是觸發(fā)變遷集，Tv?T是激活變遷集，Tn?T是執(zhí)行變遷集。Tt、Tv和Tn兩兩不相交。3) F是流關系的有限集， F = Fi∪ Fo，其中，F(xiàn)i? { (p, t)|p ∈ P , t ∈ T }是 輸 入 弧
通信學報 2013年3期2013-10-29
- 基于Petri網(wǎng)的聯(lián)鎖軟件測試用例動態(tài)生成
4]，它利用底層庫所代表某個原子故障事件，頂層庫所和中間庫所通常代表某些故障事件的邏輯組合，以有向弧的指示方向表示系統(tǒng)故障的傳播關系。通過Petri網(wǎng)表達系統(tǒng)的邏輯關系，完成知識表示和診斷推理；同時也可對被診斷對象建立行為模型并利用Petri網(wǎng)屬性進行基于模型的診斷推理。文獻[5-6]利用故障樹的 Petri網(wǎng)求其最小割集(Minimal Cut Sets, MCS)。文獻[5]構造網(wǎng)絡可達圖，設計一個針對可達標志圖搜索算法。文獻[6]提出直接利用關聯(lián)矩陣
計算機工程 2013年1期2013-09-29
- 基于Petri網(wǎng)的顧及轉向延誤的最優(yōu)路徑算法
sm｝是非空有限庫所集；（2）T＝ ｛t1，t2，…，tn｝是非空有限變遷集，且S和T不相交；（3）F （S×T）∪ （T×S）是流關系，且dom （F）∪cod（F）＝S∪T；（S，T；F）構成一個有向圖；（4）W：F→N 是權函數(shù)。W （s，t）＝i（i＞0）當且僅當存在一條從庫所s到變遷t的權值為i的??；W （s，t）＝0當且僅當不存在從庫所s到變遷t的弧。用t＝ ｛s｜ （s，t）∈F｝表示變遷t的輸入庫所的集合，s＝ ｛t｜ （s，t）∈F｝表示
計算機工程與設計 2013年10期2013-09-08
- S3PR網(wǎng)的一種最大許可活性監(jiān)督控制器設計方法
模型實施添加控制庫所及其連接弧等有效的系統(tǒng)設計，可以限制系統(tǒng)對資源的申請，達到阻止死鎖的目的［1－5］。受控網(wǎng)系統(tǒng)可達狀態(tài)的多少是評價Petri網(wǎng)控制器的一個重要指標。一個Petri網(wǎng)系統(tǒng)的可達狀態(tài)按標志描述可以劃分為死鎖標志、壞標志、危險標志和活標志四類［6－8］。對網(wǎng)系統(tǒng)進行控制設計的目的是去除死鎖標志和壞標志，即禁止標志，盡可能保留活標志和危險標志，即可保留標志?？梢酝ㄟ^限制系統(tǒng)對資源的申請，保證所有的禁止狀態(tài)不可達，保留系統(tǒng)中的所有可達狀態(tài)［9］。
計算機集成制造系統(tǒng) 2013年7期2013-08-27
- 基于模糊Petri網(wǎng)的數(shù)控機床主軸故障診斷*
的含義如下:P為庫所有限集合，P={p1，p2，…，pm}(m ＞0);T 為變遷有限集合，T={t1，t2，…，tn}(n＞0);D 為命題有限集合，D={d1，d2，…，dm};I為P→T的輸入函數(shù);O為T→P的輸出函數(shù);β為庫所與命題之間的映射，即 β(pi)=di，pi∈P，di∈D，表示命題pi的真實程度為di;μ為變遷的可信度函數(shù)，即μ(ti)=μi，μi∈［0，1］，表示變遷 ti的可信度為 μi;α 為庫所的可信度函數(shù)，即 α(pi)= α
制造技術與機床 2012年3期2012-09-26
- 基于著色petri網(wǎng)的高速公路交通流建模與仿真
petri網(wǎng)是由庫所（place）、變遷（transition）和一組弧線（ares）組成的雙向圖。不同類型節(jié)點之間用弧線直接相連，同類型節(jié)點間則不能直接相連。本文，筆者用圓圈表示庫所，用矩形形式表示變遷。經(jīng)典petri網(wǎng)模型如圖1所示。圖1 經(jīng)典petri網(wǎng)模型2.著色petri網(wǎng)。著色petri網(wǎng)通過不同的顏色對托肯進行分類，以實現(xiàn)系統(tǒng)的折疊和簡化。著色petri網(wǎng)的顏色主要是針對托肯和庫所設置的。（1）通常把染色托肯分為幾種類型，而把類型稱為顏色。因
河南科技 2012年6期2012-09-06
- 含有不可控變遷的Petri網(wǎng)死鎖避免策略
［3］提出了基于庫所不變量的控制器設計算法，該方法利用整個Petri網(wǎng)的關聯(lián)矩陣來計算控制器，計算的復雜度比較大，而且只適用于安全網(wǎng)。文獻［4］提出了Parikh向量不等式的約束轉換算法，再用基于庫所不變量的控制器算法設計控制器。但是，以上各種方法并沒有把控制器算法應用于解決Petri網(wǎng)的死鎖問題。本文在總結上述控制器設計算法時存在問題和研究Petri網(wǎng)建模的并發(fā)系統(tǒng)中的死鎖問題基礎上，利用Petri網(wǎng)可達樹分析方法檢測系統(tǒng)死鎖的存在，設計出一種可以避免死
合肥工業(yè)大學學報（自然科學版） 2012年4期2012-07-18
- 基于SPN的無線閉塞中心切換過程中的故障分析
故障模型如圖3，庫所normal代表列車正常行駛，經(jīng)過15 s（變遷timeout1）后沒有接收到RBC信息，到達庫所bad即判定RBC故障。RBC故障后，經(jīng)過5 min（變遷timeout2），若無回復則轉至庫所delete（刪除注冊），待RBC恢復，經(jīng)過庫所receive（列車重新收到RBC信息）后，RBC進入庫所RBCready（RBC進入正常工作狀態(tài)），列車呼叫RBC請求行車許可（變遷ReqRBC），收到行車許可后，進入庫所RecRBC，升至CTC
鐵路計算機應用 2011年8期2011-11-26
- 基于Petri網(wǎng)的電梯系統(tǒng)規(guī)格說明
網(wǎng)包括4個元素:庫所(Place)、變遷(Transition)、有向弧(Connection)、令牌(Token)，如圖1所示。其中庫所為圓形節(jié)點，變遷為短直線，有向弧是庫所和變遷之間的箭頭線，令牌是庫所中的動態(tài)對象，可以從一個庫所移動到另一個庫所。在圖1中有一組庫所 P 為{P1，P2，P3，P4}，一組變遷 T為{t1，t2}，兩個用于變遷的輸入函數(shù):是由庫所指向變遷的箭頭表示，它們是:兩個用于變遷的輸出函數(shù):是由變遷指向庫所的箭頭表示，它們是:一個
長春大學學報 2011年6期2011-11-08
- 基于智能Petri網(wǎng)的物流配送路徑優(yōu)化算法
模型[7]。它由庫所Pi(用圓圈表示)、變遷ti(用矩形方塊表示)以及連接庫所、變遷的線段和庫所中的托肯(用小黑點表示)構成。如圖1所示給出的智能Petri網(wǎng)由5個庫所(Pi(i=1,2,…,5)、4 個變遷 ti(i=1,2,3,4)及 8 條連線構成。圖1 智能Petri網(wǎng)對智能Petri網(wǎng)進行賦時，即當某一變遷的發(fā)生條件滿足時，延遲一段時間后從相應的輸入庫所中移走相應的托肯。智能Petri網(wǎng)中的庫所Pi標上的時間值tpi稱為庫所時間，對應的庫所稱為時
計算機工程與設計 2011年7期2011-09-07
- 工藝約束條件下加工順序決策的Petri網(wǎng)T_不變量方法
,P是PN的有限庫所集,P={p1,p 2,…,p n};T是PN的有限 變遷 集,T ={t1,t2,…,tm}, 且P∩T= ,P∪T ;I是PN中從庫所到變遷的有向弧集,I：P×T→{0,1};O是PN中從變遷到庫所的有向弧集,O：T×P→{0,1};M是PN的標識函數(shù),其中M0是初始標識,M 0：P →{0,1,2,…}。在普通Petri網(wǎng)系統(tǒng)中,變遷使能與激發(fā)的規(guī)則是：①變遷t∈T在標識M 下使能記為M[t＞,其充要條件是,?p∈P：M(p)＞0
中國機械工程 2010年8期2010-05-30
- 基于雙枝模糊邏輯攻擊模型的分層推理算法
法中,將把同一個庫所的輸出變遷盡可能的置于同一層次結構之中,同時在必要時增加相應的虛庫所和虛變遷。在模糊Petri網(wǎng)增加的虛庫所和虛變遷只是起到一個中間過渡作用,并不會對模糊規(guī)則庫系統(tǒng)產生影響,因此也不會改變攻擊模型中攻擊因素對于攻擊效果的作用。按照攻擊模型BBFPAN的定義,在分層BBFPAN中,將虛庫所對應的θ0設為0,虛變遷的置信度設為1。攻擊模型BBFPAN分層算法如算法1所示。算法1：Step1：建立起始庫所集Pset：若 θi0≠0,則pi∈P
河北工程大學學報(自然科學版) 2010年2期2010-03-17