Petri網
- 多模式融合的武器目標分配系統(tǒng)模型設計
建并分析Petri網模型的可達圖， 通過仿真實驗平臺， 構建復雜作戰(zhàn)場景， 驗證了分配策略機制的可行性。 結果表明三種策略各具優(yōu)勢， 本文設計的多策略結合在匹配時間、? 成功率以及效用值方面相較傳統(tǒng)的單一策略具有較大優(yōu)勢。關鍵詞：???? 目標分配; 美國國防部體系架構框架; Petri網; 他分配; 自分配; 指揮控制; 模型設計中圖分類號：??? ???TJ760文獻標識碼：??? A文章編號：??? ?1673-5048（2024）01-0045-1
航空兵器 2024年1期2024-04-18
- 基于Petri網工作流模型展開樹的路徑序列相似性算法
出了基于Petri網的工作流模型展開樹的路徑序列相似性算法。首先采用深度優(yōu)先搜索算法和動態(tài)規(guī)劃算法對模型進行搜索；其次通過提出的算法獲取展開樹的所有路徑序列；最后利用編輯距離算法計算兩個模型序列之間的兩兩相似度，進而完成模型相似性計算；相較于其他的主流相似度算法，主要優(yōu)點在于可以精確計算得到模型部分結構和行為相似度，可以更好地確定流程間映射，從而找到數據映射的解決方法。實驗結果表明，該方法較主流的基于模型結構和行為相似性的算法，計算合理性和準確性有很大提升
計算機應用研究 2024年1期2024-02-18
- 基于GMEC轉換算法的Petri網結構控制器綜合方法
可控變遷Petri網系統(tǒng)禁止狀態(tài)控制器設計問題，提出了一種基于矩陣變換和整數線性規(guī)劃的結構控制器綜合方法。該方法的關鍵是對代表系統(tǒng)合法狀態(tài)的廣義互斥約束（generalized mutual exclusion constraint，GMEC）進行轉換。首先，根據Petri網系統(tǒng)的關聯(lián)矩陣，將庫所集分為無關庫所集、不可控庫所集和補足庫所集。其次，通過對非允許GMEC中補足庫所的權值和不可控庫所的權值進行處理，并運用整數線性規(guī)劃將非允許GMEC轉換為允許GM
計算機應用研究 2023年10期2023-10-17
- 基于Petri網的區(qū)塊鏈物流派送模型建構
建構基于Petri網的區(qū)塊鏈物流派送模型.PM4PY編程和Petri網仿真軟件驗證結果表明，優(yōu)化后的模型具有安全性和有界性.關鍵詞：Petri網；流程模型；區(qū)塊鏈；物流派送[? ?中圖分類號? ? ]TP391.9 [? ? 文獻標志碼? ?]? AConstruction of a Blockchain Logistics Delivery Model Basedon Petri NetWU Ping，WANG Lili（School of Mathem
牡丹江師范學院學報(自然科學版) 2023年3期2023-08-09
- 基于Petri網的車站預疊加發(fā)碼建模與仿真
建模工具Petri網對站內預疊加電碼化進行建模與仿真，仿真模擬列車在站內走行過程中預疊加發(fā)碼過程，實現(xiàn)對電碼化安全性的提升。關鍵詞：電碼化；Petri網；預疊加發(fā)碼；故障—安全原則中圖分類號：U273.4；TP391.9? 文獻標識碼：A? 文章編號：2096-4706（2023）01-0084-03Modeling and Simulation of Station Pre-stacking Sending Code Based on Petri Net
現(xiàn)代信息科技 2023年1期2023-06-21
- 基于Petri網的業(yè)務財務一體化流程協(xié)同優(yōu)化研究
鍵詞】 Petri網； 業(yè)務財務一體化； 流程建模； 流程優(yōu)化【中圖分類號】 F275；TP301? 【文獻標識碼】 A? 【文章編號】 1004-5937（2023）07-0153-09一、引言近十年，隨著移動互聯(lián)網、云計算、大數據、人工智能、機器人流程自動化（RPA）、區(qū)塊鏈等新一代信息技術的發(fā)展，在財政部、國資委等有關部門發(fā)布的《關于中央企業(yè)加快建設世界一流財務管理體系的指導意見》《關于加快推進國有企業(yè)數字化轉型工作的通知》等文件的指導下，數字經濟加
會計之友 2023年7期2023-04-07
- 基于Petri網結構特性的可達性求解
關鍵詞：Petri網;關聯(lián)矩陣;T_不變量;借庫所;可達變遷向量
計算技術與自動化 2022年2期2022-07-04
- 基于行為輪廓的退費系統(tǒng)業(yè)務流程模型抽象
為輪廓;Petri網;活動聚類[中圖分類號]TP301 ? [文獻標志碼]A 業(yè)務流程設計和分析是定義業(yè)務運營管理方式的關鍵，從低級服務協(xié)調到高級決策支持，實現(xiàn)預期目的所利用的BP技術，通過結構化的方式去記錄、管理以及溝通業(yè)務流程，改善企業(yè)的協(xié)作和效率.一項業(yè)務根據不同需求會生成上千個不同粒度的業(yè)務流程模型，這對于維護來說工作量巨大.目前，國內外對此已有一定的研究.Dijkman[1]等提出了一種從BPMN到形式化語言Petri網的映射方法，用于BPMN模
牡丹江師范學院學報(自然科學版) 2022年2期2022-05-27
- 基于Petri網的新生報到流程建模優(yōu)化分析
捷，基于Petri網的相關理論，提出了基于Petri網的新生報到流程模型優(yōu)化分析。通過庫所與變遷之間的交互關系，分析各流程節(jié)點間的行為，參考新生報到時的具體情況和學校的相關要求，讓學校投入的大量的人力和物力能夠最大限度發(fā)揮作用，優(yōu)化新手入學報到流程，提高新生報到的效率，提升學生報到的體驗。最后通過WoPeD仿真驗證了優(yōu)化后的模型具有良好的性質。 關鍵詞：Petri網;建模;優(yōu)化;新生報到中圖分類號：TP391.9? 文獻標識碼：A? 文章編號：1673-2
赤峰學院學報·自然科學版 2022年2期2022-03-16
- 基于Petri網的體檢流程建模優(yōu)化分析
一種基于Petri網的體檢流程建模優(yōu)化模型。給出體檢基本流程的Petri網原模型，探討了該流程模型中存在的問題，然后結合互聯(lián)網智慧醫(yī)療對原模型進行了建模優(yōu)化分析，增加了體檢智能導檢和排隊叫號系統(tǒng)，從體檢效率、體檢秩序和審查環(huán)節(jié)等方面對原模型進行了優(yōu)化。最后，通過WoPeD軟件分析說明優(yōu)化模型的合理有效性。 關鍵詞：Petri網;體檢;優(yōu)化;建模中圖分類號：TP391.9? 文獻標識碼：A? 文章編號：1673-260X（2022）02-0009-040 引
赤峰學院學報·自然科學版 2022年2期2022-03-16
- 車間火災應急響應模擬與逃生優(yōu)化
文提出將Petri網建模和統(tǒng)計思想結合形成火災逃生的模型，對應急響應流程進行繪制與分析，模擬響應的全過程時間。關鍵詞：制絲車間;Petri網;統(tǒng)計;火災;應急響應在應急系統(tǒng)的管理過程中對此歧義特性的不當考慮將不可避免地影響應急系統(tǒng)的安全性和有效性。田峰等[2]討論了在Petri網序列，并行性，選擇和循環(huán)結構下的模糊時間推斷規(guī)則，并實現(xiàn)了協(xié)同設計的時間驗證。Ye等[3]采用模糊Petri網分析多列火車運行及其沖突時間。它們全部依靠模糊算法進行計劃分析，這可能
學習與科普 2021年28期2021-11-14
- 基于序列模式的業(yè)務流程模型的預測對
關鍵詞：Petri網;對齊;預測;序列模式;條件概率中圖分類號：TP391.9 ?文獻標識碼：A ?文章編號：1673-260X（2021）07-0013-040 引言隨著信息技術的快速發(fā)展，業(yè)務流程管理在企業(yè)或組織間扮演著越來越重要的角色。然而，真實的業(yè)務場景與流程模型間會存在行為不一致，我們經常使用對齊來描述這種差異。目前，國內外很多學者研究了對齊問題。例如，Bloemen V等[1]提出了不同于標準成本函數的新的成本函數，設計了優(yōu)先考慮最大化同步移動
赤峰學院學報·自然科學版 2021年7期2021-09-13
- 基于Petri網的財務流程RPA優(yōu)化研究
優(yōu)化; Petri網; 財務共享服務中心; 馬爾科夫鏈技術【中圖分類號】 F232? 【文獻標識碼】 A? 【文章編號】 1004-5937（2021）16-0131-06一、引言外部經濟社會環(huán)境的變化和企業(yè)業(yè)務的不斷擴張，使得企業(yè)的財務管理模式和財務系統(tǒng)需要不斷調整與優(yōu)化，以滿足企業(yè)發(fā)展所提出的各種新需求。2017年德勤會計師事務所推出了財務機器人及流程自動化解決方案，機器人流程自動化（RPA）相關技術應用在我國財務業(yè)務操作領域，幫助企業(yè)進行財務管理優(yōu)化
會計之友 2021年16期2021-08-09
- 基于Petri網行為輪廓的超市自助結賬系統(tǒng)優(yōu)化分析
關鍵詞：Petri網;行為輪廓;自助結賬;優(yōu)化;HIPS中圖分類號：TP391.9? 文獻標識碼：A? 文章編號：1673-260X（2021）02-0010-030 引言新型冠狀病毒的爆發(fā)已經給人們的日常生活方式帶來了很大的影響，隨著疫情下人們對無接觸支付模式的深入了解，無接觸的超市自助結賬模式也得到了廣大消費者的接受，自助收銀機成為人們在超市購物付款時的新選擇。為了提高系統(tǒng)的工作效率，現(xiàn)對自助結賬系統(tǒng)進行建模優(yōu)化，利用Petri網的相關性質[1]和行為
赤峰學院學報·自然科學版 2021年2期2021-07-06
- 關于智能電網故障快速診斷方案的探究
;診斷;Petri網（PN）1.PN基礎理論PN是一種表示描述流程的數學模型，可指定狀態(tài)演化方程以及控制系統(tǒng)行為的代數關系，根據每個事件發(fā)生后流程的新狀態(tài)對流程演化進行建模。通過考慮模型系統(tǒng)的狀態(tài)演化（令牌在庫所上的變化）來分析系統(tǒng)的動態(tài)行為，需要記住每個庫所可能持有非負數量的令牌，由小實心點表示。在任何給定的時刻中，令牌在庫所上的分布稱為PN標記，并定義系統(tǒng)的當前狀態(tài)。由上述可得，變遷s2的觸發(fā)可指示事件的發(fā)生（如斷路器跳閘），使系統(tǒng)變遷到另一狀態(tài)（如斷
電子樂園·上旬刊 2021年1期2021-05-19
- Petri網的建模與分析
摘 要：Petri網具有一種系統(tǒng)的數學建模能力，廣泛地應用于具有同步、并發(fā)、沖突的離散事件系統(tǒng)的建模，可以用來描述較為復雜的業(yè)務過程。隨著業(yè)務過程管理的復雜程度不斷增加，使得業(yè)務過程建模的難度也逐漸提高，是當前業(yè)務過程建模中需要解決的主要問題。首先，文章介紹了Petri網的基本概念及其形式化描述，其次描述了在業(yè)務過程建模中常用的4種工作流模型的基本結構并結合Petri網構成了工作流Petri網的基本模型，以此完成對業(yè)務過程的建模。最后，運用Petri網對索
無線互聯(lián)科技 2021年23期2021-01-08
- 基于Petri網的二手網購中賣家信用評定建模及優(yōu)化
本文采用Petri網對傳統(tǒng)的評定流程進行建模，通過分析模型以發(fā)現(xiàn)目前的信用評定系統(tǒng)中存在的問題，在流程模型中增加了信用評價，并且突出了商品評價中追評的重要性，優(yōu)化了目前的信用評價系統(tǒng)，有效地解決了目前信用評定系統(tǒng)中存在的問題，最后通過仿真實驗驗證了優(yōu)化模型的可行性和合理性。 關鍵詞：Petri網;二手網購;賣家信用評定;流程模型;優(yōu)化中圖分類號：F713.36;TP311 ?文獻標識碼：A ?文章編號：1673-260X（2021）12-0073-061
赤峰學院學報·自然科學版 2021年12期2021-01-07
- 一種基于Petri網和因果關系矩陣的事件日志過程挖掘方法
一種基于Petri網和因果關系矩陣的事件日志過程挖掘方法.基于Petri網和因果關系矩陣的事件日志過程挖掘算法，利用因果關系矩陣進行過程挖掘，其過程模型可以更好地匹配系統(tǒng)產生的事件日志集.關鍵詞：Petri網;因果關系矩陣;事件日志;過程挖掘[中圖分類號]TP391.9 ? [文獻標志碼]AAbstract：An event log process mining method based on Petri net and causality matrix
牡丹江師范學院學報(自然科學版) 2020年4期2020-12-14
- 基于Petri網的拼單購物流程模型優(yōu)化分析
要：通過Petri網進行形式化建模，優(yōu)化網上拼單購物業(yè)務流程模型.分析拼單購物的實際情況，給出業(yè)務流程Petri網模型，查找流程存在缺陷.根據行為輪廓理論增加相應的結構變遷與庫所，優(yōu)化購物環(huán)節(jié)，使顧客拼單購物更加方便、省時.關鍵詞：Petri網;行為輪廓;網絡拼單購物[中圖分類號]TP391.9 ? [文獻標志碼]AAbstract：Through the formal modeling of Petri net，the business process
牡丹江師范學院學報(自然科學版) 2020年4期2020-12-14
- 基于Petri網與FlexSim模型的自動化立體倉庫仿真優(yōu)化
基于靜態(tài)Petri網模型與動態(tài)FlexSim模型結合的優(yōu)化方案。對企業(yè)現(xiàn)有的自動化立體倉庫資源配置情況進行調研，采用層次Petri網建立靜態(tài)的模型，根據一定的映射原則建立動態(tài)的FlexSim仿真模型，根據仿真結果改進相關配置參數，再次利用FlexSim仿真優(yōu)化模型，驗證優(yōu)化模型的可行性，使作業(yè)設備壓力減小，利用率大大提高。關鍵詞：FlexSim;Petri網;資源配置中圖分類號：TP273;TP391.9 ? ? 文獻標識碼：A 文章編號：2096-470
現(xiàn)代信息科技 2020年21期2020-07-09
- 建模思想在《Petri網理論與應用》教學中的滲透
闡述了《Petri網理論與應用》的教學目的和性質，指出了傳統(tǒng)教學方法及手段的弊端，說明了在課堂教學中引入建模思想的必要性和重要性。將建模思想貫穿于課程教學過程中，是提高學生的知識綜合運用能力、培養(yǎng)學生發(fā)現(xiàn)問題-分析問題-解決問題的能力的必然舉措。通過實例詳細講解了建模思想在實際問題的求解中的應用，通過建模思想的滲透有效地改善了教學效果，提高了學生實踐能力。關鍵詞：Petri網; 建模思想; 教學研究;實際應用中圖分類號： G642? ? ? ?文獻標識碼：
電腦知識與技術 2020年35期2020-06-07
- 基于擴展Petri網的軟件服務模型設計方法
基于擴展Petri網的軟件服務模型設計方法。首先，該方法將注冊的軟件服務轉換成Horn子句，并將用戶需求轉換為Horn子句的事實和目標，接著通過邏輯推理來構建完整的軟件服務流程，將得出的Horn子句映射至擴展Petri網上，構建出滿足用戶需求的抽象服務集，最后通過案例驗證了該方法的可行性。關鍵詞：軟件服務模型;Petri網;Horn子句;抽象服務集中圖分類號：TP18? ? ? ? ?文獻標志碼：A? ? ? ? ?文章編號：2095-2945（2020）
科技創(chuàng)新與應用 2020年5期2020-03-02
- 基于Petri網的建筑安全生產韌性管理風險評估研究
出了基于Petri網的安全生產韌性管理理念下的相關風險建模評估方法，探討了目前在安全生產韌性管理研究中存在的一些問題，如何建立全面有效的安全生產韌性管理風險評估體系還需要深入的思考和研究，需要進一步的研究相關理論。Abstract： Construction industry has developed rapidly in recent years， but the safe production management did not keep up w
價值工程 2019年35期2019-12-24
- Petri網智能變電站保護控制故障診斷與定位方法研究
進行基于Petri網模型的保護與操作控制故障診斷與故障位置推理，其診斷與定位結果能夠反映設備邏輯功能的缺陷。實例證明該方法在智能變電站保護與操作控制過程中的故障診斷與定位起到良好的效果。關鍵詞：智能變電站;Petri網;功能關聯(lián)關系;故障定位中圖分類號：TM63 文獻標志碼：A 文章編號：1674-5124（2019）10-0128-07收稿日期：2018-12-01;收到修改稿日期：2019-01-28基金項目：四川省科技計劃支撐項目（521999130
中國測試 2019年10期2019-11-16
- 面向工業(yè)培訓應用的虛擬現(xiàn)實裝配系統(tǒng)研究
算法結合Petri網對模具的裝配序列和裝配實現(xiàn)方法進行了研究，描述了基于HTC Vive虛擬現(xiàn)實頭盔和Unity3d，3ds MAX等軟件開發(fā)的虛擬現(xiàn)實模具裝配系統(tǒng)。最后，通過裝配系統(tǒng)訓練模塊對面向工業(yè)培訓中的虛擬現(xiàn)實交互訓練功能的研究和實現(xiàn)進行詳細的描述，結果表明虛擬現(xiàn)實裝配系統(tǒng)的研究對工業(yè)培訓指導有著很大的意義。關鍵詞： 虛擬現(xiàn)實; 裝配系統(tǒng); 交互技術; 工業(yè)培訓; OBB碰撞檢測; Petri網中圖分類號： TN911?34; TP391 ? ?
現(xiàn)代電子技術 2019年20期2019-11-12
- 基于Petri網的電磁循跡小車控制程序建模
，采用了Petri網對電磁循跡小車的控制程序進行建模，并利用可達圖對模型進行了特性分析。結果表明，利用Petri網對控制程序進行建?？梢员ＷC控制程序的控制邏輯設計正確，提升電磁循跡小車設計的可靠性。關鍵詞：電磁循跡小車;程序設計;Petri網;程序建模;物聯(lián)網技術;電磁感應技術中圖分類號：TP311.1文獻標識碼：A文章編號：2095-1302（2019）09-00-020 引 言隨著物聯(lián)網技術與工業(yè)、物流等領域的深度融合，智能的小車可以實現(xiàn)自動地按照指定
物聯(lián)網技術 2019年9期2019-11-06
- 一種增量挖掘優(yōu)化流程模型方法
（流程Petri網）一個流程模型Petri網PM=（P，T，F(xiàn)，C，s，e）是一個六元組，滿足以下條件： 其中，k為給定日志中的不同軌跡數，n為日志軌跡中所含的數目，x表示日志軌跡重放時就緒變遷的平均數目，m表示模型中可見任務的數.3 一種增量挖掘優(yōu)化模型分析方法 本節(jié)主要介紹增量挖掘更新流程模型，它是啟發(fā)式挖掘的擴展.首先，給出啟發(fā)式挖掘相關定義;然后，給出增量挖掘優(yōu)化模型算法，它是利用現(xiàn)有挖掘方法挖掘出初始模型，頻數低的日志建立依賴關系樹，本文的依賴
赤峰學院學報·自然科學版 2019年10期2019-09-10
- 基于服務簇頭的Web服務發(fā)現(xiàn)策略研究
務簇頭;Petri網;服務發(fā)現(xiàn);服務聚類1 引言：隨著信息技術的不斷發(fā)展，數字化信息技術應用不斷深化。Web服務是基于網絡的應用程序接口，能夠實現(xiàn)遠端軟件程序的本地化調用。如信息查詢服務，網絡付費服務、事務預定服務等。Web服務基于XML（Extensible Markup Language）協(xié)議進行定義，利用SOAP（Simple Object Access Protocol）協(xié)議進行信息傳輸。實現(xiàn)了跨平臺的、非本地化的軟件程序網絡應用。利用Web服務可
新教育論壇 2019年5期2019-09-10
- 基于petri網的急診流程模型優(yōu)化分析
摘要：Petri網可以圖形化復雜系統(tǒng)行為，本研究基于Petri網的基礎理論，對急診流程模型進行優(yōu)化，以達到緊急狀態(tài)下快速收治病人的目的.首先給出急診流程的Petri網模型，通過實際急診過程中出現(xiàn)的問題增加相應的庫所變遷結構，利用交叉序關系、排他序關系進行優(yōu)化，使急診流程更加高效，驗證了流程優(yōu)化模型的有效性. 關鍵詞：Petri網;急診流程;優(yōu)化中圖分類號：TP391.9? 文獻標識碼：A? 文章編號：1673-260X（2019）04-0063-031
赤峰學院學報·自然科學版 2019年4期2019-09-10
- 基于Petri網的ETC高速收費系統(tǒng)優(yōu)化分析
出了基于Petri網的ETC高速收費流程模型的優(yōu)化分析方法.首先結合實際ETC高速收費系統(tǒng)，分析流程模型中活動間的間接關系，找出源流程模型中存在的問題，然后對模型進行優(yōu)化.最后利用PIPE軟件驗證其合理性. 關鍵詞：Petri網;行為輪廓;優(yōu)化;ETC高速收費系統(tǒng)中圖分類號：TP391.9? 文獻標識碼：A? 文章編號：1673-260X（2019）02-0056-031 引言 隨著信息技術的迅速發(fā)展及其廣闊的應用前景，Petri網建模已經成為分析解決業(yè)務
赤峰學院學報·自然科學版 2019年2期2019-09-10
- Petri網在網絡選座系統(tǒng)的建模優(yōu)化分析
首先利用Petri網描述了網絡選座系統(tǒng)模型，然后添加相關的活動變遷和庫所，根據提出的網絡購票公式，判斷每個隔間所剩硬臥的個數，當剩余硬臥的個數大于等于2時，系統(tǒng)自動分配當前隔間兩張硬臥給乘客;當剩余硬臥的個數小于2時，則自動分配下一間的兩張硬臥給乘客，從而達到同行人能夠購買同一隔間硬臥的目的.最后，通過示例分析，說明了網絡選座模型的有效性和實用性. 關鍵詞：Petri網;行為輪廓;優(yōu)化;建模中圖分類號：TP391.9? 文獻標識碼：A? 文章編號：1673
赤峰學院學報·自然科學版 2019年1期2019-09-10
- 針對多并發(fā)三角形二度循環(huán)結構的過程模型挖掘方法
度循環(huán)的Petri網模型。關鍵詞：過程挖掘;并發(fā)結構;三角形二度循環(huán);過程模型;Petri網中圖分類號： TP311文獻標志碼：A文章編號：1001-9081（2019）03-0851-07Abstract： To mine the process model including multi-concurrent 2-loops of triangles in incomplete logs， an AlphaMatch algorithm based o
計算機應用 2019年3期2019-07-31
- 試析基于隨機Petri網的鐵路集裝箱運輸流程優(yōu)化研究
基于隨機Petri網的鐵路集裝箱運輸方式，希望有關人士可以一起探討。關鍵詞：鐵路集裝箱;流程優(yōu)化;性能分析;Petri網一、Petri網的相關理論以及綜述目前，隨著我國社會經濟的飛速發(fā)展，我國與其他國家的貨物交流越來越頻繁，為了滿足新時代發(fā)展背景下運輸需求，集裝箱運輸就利用自身快速、安全、高效的特點，提高了運輸的速度和運輸的安全性，集裝箱運輸指的是在運輸過程中，利用飛機、船只、火車對貨物進行運輸，由于集裝箱是封閉的，在運輸過程中，裝卸作業(yè)小，因此，人力的輸
現(xiàn)代營銷·經營版 2019年2期2019-06-11
- 基于Petri網建模的道路車流量預測方法研究
在對基于Petri網建模道路進行分析時發(fā)現(xiàn)，當利用智能算法優(yōu)化交通信號時會存在一定滯后性，主要原因在于智能算法運算效率不高，以及道路車輛產生的一些隨機因素等。因此，使用Petri網對交叉口進行建模并模擬車流產生，并運用改進卡爾曼濾波算法對道路車流量進行預測，用于彌補因車輛隨機因素或使用智能算法造成的時滯。改進算法采用SVM回歸對利用卡爾曼濾波產生的誤差進行擬合與預測，用于補償卡爾曼濾波算法產生的誤差。實驗結果表明，利用SVM回歸改進的卡爾曼濾波對車流預測產
軟件導刊 2019年4期2019-06-09
- 基于Petri網的無信號交叉口車輛誘導及優(yōu)化系統(tǒng)研究
利用賦時Petri網建立無信號交叉口控制模型。根據優(yōu)化算法，得到較優(yōu)的車輛通行序列，從而實時引導車輛通過交叉口；分析了不同數量車輛對交叉口的延誤時間、車輛平均延遲時間的影響，并將其與傳統(tǒng)的信號控制方法進行對比。研究結果表明：基于Petri網的無信號交叉口控制方案改善了交叉口通行狀況，控制效果優(yōu)于傳統(tǒng)的信號控制方法。關鍵詞：車路協(xié)同系統(tǒng)；無信號交叉路口；Petri網DOIDOI：10.11907/rjdk.181026中圖分類號：TP303文獻標識碼：A 文
軟件導刊 2018年8期2018-10-29
- 一種基于Petri網的電網故障診斷方法
元件進行Petri網建模，再利用Visual Object Net ++軟件進行故障診斷。實驗表明，該方法能夠通過保護和斷路器的狀態(tài)準確找出故障元件。Abstract： When the power system fails， its corresponding protection and circuit breaker will trip. According to these action information， the fault occurre
價值工程 2018年32期2018-10-23
- 民機試飛簽派放行Petri網建模與仿真
最后基于Petri網對試飛簽派放行方法進行了建模與仿真，從邏輯上驗證了試飛簽派放行方法的正確性和有效性，為進一步設計制作試飛簽派放行系統(tǒng)奠定了基礎。關鍵詞：試飛簽派；飛行計劃；民機試飛；空域飛行；Petri網中圖分類號：V352 文獻標志碼：A 文章編號：2095-2945（2018）21-0029-03Abstract： Based on the work experience of flight test take-up for domestic AR
科技創(chuàng)新與應用 2018年21期2018-09-14
- 基于petri網的校園一卡通系統(tǒng)優(yōu)化分析
一種基于Petri網的優(yōu)化分析方法，根據支付的實際情況，在確保付款方式比例的情況下，通過增加相關控制結構來進行優(yōu)化.Zuo-Wei F U[2] 等給出加入抑制弧的優(yōu)化算法，為Petri網的應用提供了一種新的思路.石彎彎[3] 等提出了行為輪廓業(yè)務系統(tǒng)優(yōu)化分析方法，通過增加活動變遷和庫所對業(yè)務流程進行建模優(yōu)化.曹蕊[4] 等提出了基于業(yè)務流程模型抽象的流程配置優(yōu)化，實現(xiàn)業(yè)務流程的配置優(yōu)化分析.何路路[5] 等提出基于 Petri網的工作流系統(tǒng)業(yè)務模型，通過
牡丹江師范學院學報(自然科學版) 2018年2期2018-09-10
- 基于Petri網行為輪廓的網上訂餐系統(tǒng)變化域分析
要：基于Petri網構建網上訂餐系統(tǒng)流程模型.建立源模型與目標模型表示二者的行為輪廓關系，對其變化域進行分析，利用添加配置變遷的方法優(yōu)化模型.實驗表明，優(yōu)化后的網上訂餐系統(tǒng)模型改變了模型的細粒度，與實際更為貼近，更能滿足用戶的需求.關鍵詞：Petri網；行為輪廓；變化域；網上訂餐[中圖分類號]TP391.9 [文獻標志碼]AAbstract：The process model of online ordering system based on Petri
牡丹江師范學院學報(自然科學版) 2018年3期2018-09-10
- 基于Petri網的電梯控制系統(tǒng)建模與分析
要：使用Petri網模型工具建立一種電梯單控系統(tǒng)模型，分析電梯運行中的循環(huán)和滿載開門問題，給出優(yōu)化設計方案.結果表明，優(yōu)化方案可以實現(xiàn)，模型有效.關鍵詞：Petri網；電梯控制系統(tǒng)；建模；性質分析[中圖分類號]TP399 [文獻標志碼]AAbstract：Use Petri net modeling tools to create a model of the elevator control system，analysis the circulation
牡丹江師范學院學報(自然科學版) 2018年3期2018-09-10
- 基于Petri網的菜鳥驛站取件流程優(yōu)化
文章利用Petri網模型這一常見的流程優(yōu)化技術方法，對菜鳥驛站的整個取件流程建立模型并進行分析，指出了問題所在并提出了相應的對策。[關鍵詞]Petri網；建模；流程優(yōu)化[DOI]10.13939/j.cnki.zgsc.2018.17.1631 引 言隨著現(xiàn)代物流服務的迅速發(fā)展，菜鳥驛站作為主要面向校園和社區(qū)的物流服務平臺，提供著末端物流服務，對于不方便實時取件或需要保護隱私的用戶同樣有著重要的意義。但是隨著電商消費群體越來越龐大，業(yè)務量急劇增加，取件慢、
中國市場 2018年17期2018-06-23
- 基于Petri網與GA—PSO算法的FMS優(yōu)化調度
一種基于Petri網與改進遺傳-粒子群算法相結合的優(yōu)化調度方法。利用Petri網對柔性制造系統(tǒng)進行建模，在分析傳統(tǒng)調度算法的基礎上提出了一種改進遺傳-粒子群混合算法對建立的模型進行調度。通過調度驗證表明，該算法能有效地解決多品種、小批量的柔性制造系統(tǒng)仿真時的調度問題。關鍵詞：柔性制造系統(tǒng)；調度；Petri網；遺傳算法；粒子群算法中圖分類號：TP311 文獻標識碼：A 文章編號：1009-3044（2018）03-0046-021 概述柔性制造系統(tǒng)（Flex
電腦知識與技術 2018年3期2018-03-21
- 基于Petri網的業(yè)務過程建模
論了使用Petri網如何表示業(yè)務過程中的開始、結束、任務和路由，并通過一個例子，說明了使用Petri網建模業(yè)務過程的直觀性和易溝通、理解性?！娟P鍵詞】業(yè)務過程 任務 路由 Petri網1 引言從20世紀70年代末到20世紀90年代初，信息系統(tǒng)的關注焦點是數據的存取，因此，數據庫管理系統(tǒng)被認為是最核心的基礎平臺。自20世紀90年代初開始，信息系統(tǒng)的關注焦點從數據逐步轉移到過程上來。作為這種轉變的結果，今天以業(yè)務過程驅動為代表的大規(guī)模編程（Programmin
電子技術與軟件工程 2018年6期2018-02-23
- 基于庫所系統(tǒng)的增加類型變化傳播分析
一種基于Petri網的庫所系統(tǒng)，依據單向影響關系，分析添加增加類型變遷的變化傳播范圍的方法。首先，以某打車軟件為例，建立打車軟件客戶端的庫所系統(tǒng)，并插入一個增加類型的變化變遷。其次，利用單向影響關系，衡量庫所系統(tǒng)原變遷集與所添加的增加類型變遷之間的影響關系。最后，根據增加類型變化傳播影響范圍公式，得出基于打車軟件的庫所系統(tǒng)，添加一個增加類型變化的傳播影響范圍。關鍵詞：Petri網；庫所系統(tǒng)；增加類型；單向影響關系；變化傳播中圖分類號：TP391.9 文獻標
電腦知識與技術 2018年2期2018-02-03
- 基于DMAIC分析過程的A企業(yè)倉儲出庫流程優(yōu)化研究
行流程的Petri網模型。在此基礎上，尋找各子網，根據子網間同步和沖突關系分析流程中的問題，提出解決方案，實現(xiàn)流程的優(yōu)化。Abstract： Under the DMAIC analysis process， the A Company's warehousing process is taken as the research object， and the current situation is analyzed. The Petri net mod
價值工程 2018年35期2018-01-25
- 基于petri網的計算機軟件系統(tǒng)建模
可以使用Petri網來為它們建立模型。在該文中對計算機軟件系統(tǒng)中幾個典型問題：生產者—消費者問題、哲學家進餐問題、讀者—寫者問題、PV 操作等的petri網建模進行了分析。關鍵詞：petri網；建模；計算機軟件系統(tǒng)中圖分類號：TP302 文獻標識碼：A 文章編號：1009-3044（2017）31-0222-021 概述Petri網作為一個新型的建模工具，已在計算機科學的各個領域得到了應用。除了計算機硬件之外，計算機軟件也可以由petri網來建模。這可能是
電腦知識與技術 2017年31期2017-12-11
- 基于Petri網的L企業(yè)產品設計變更執(zhí)行流程優(yōu)化研究
行流程的Petri網模型。在此基礎上，運用關聯(lián)矩陣重組分析尋找各子網，根據子網間同步和沖突關系分析流程中的問題，提出解決方案，實現(xiàn)流程的優(yōu)化。關鍵詞：設計變更；Petri網；流程優(yōu)化；子網；關聯(lián)矩陣中圖分類號：F273 文獻標識碼：AAbstract： Based on product design change execution process of L enterprise as the research object， analyzed its s
物流科技 2017年10期2017-11-22
- 基于DFA?Petri網模型的橋式起重車輛IWD優(yōu)化調度
DFA?Petri網模型的OTC系統(tǒng)車輛IWD優(yōu)化調度算法。首先，對OTC系統(tǒng)車輛的時間?序列模型進行描述，并利用Petri網模型方法來簡化優(yōu)化約束，利用有限自動機（DFA）方法實現(xiàn)OTC系統(tǒng)狀態(tài)空間二進制輸入的降維，降低模型復雜度；其次，構建基于DFA?Petri網的OTC系統(tǒng)車輛優(yōu)化調度模型，并利用智能水滴算法（IWD）進行調度優(yōu)化；最后，通過仿真實驗，驗證了所提模型在調度時間指標上的優(yōu)勢，體現(xiàn)了所提方法的車輛調度實時性。關鍵詞： 橋式起重車輛； 有限
現(xiàn)代電子技術 2017年22期2017-11-18
- 基于Petri網的A企業(yè)倉儲入庫作業(yè)流程優(yōu)化研究
建了基于Petri網的入庫作業(yè)流程模型，通過關聯(lián)矩陣和不變量分析驗證模型的正確性。然后運用關聯(lián)矩陣重組分析尋找流程中瓶頸環(huán)節(jié)，并提出相應的優(yōu)化措施，發(fā)現(xiàn)優(yōu)化后的入庫流程效率有了很大的提高。關鍵詞：制造業(yè)；Petri網；倉儲入庫；流程優(yōu)化中圖分類號：F715.6 文獻標識碼：AAbstract： Taking A enterprises as an example to study the flow storage warehouse， based on t
物流科技 2017年9期2017-10-31
- 無線網絡安全協(xié)議Kerberos的Petri網建模
全協(xié)議。Petri網作為信息化建模仿真的常用工具，能以圖形化、層次化的方式描述系統(tǒng)。在分析Kerberos協(xié)議工作原理的基礎上，采用Petri網工具CPNTools對Kerberos協(xié)議進行建模與仿真，采用圖形化方式，直觀地表達了該協(xié)議特點。關鍵詞：Kerberos協(xié)議；無線網絡安全協(xié)議；Petri網DOI：10.11907/rjdk.172290中圖分類號：TP309 文獻標識碼：A 文章編號：1672-7800（2017）009-0181-04Abst
軟件導刊 2017年9期2017-09-29
- 基于Petri網的電子數據取證有效性模型設計
出了基于Petri網的電子數據取證有效性模型。該模型以Petri網模型作為構建基礎，將電子數據取證后的數據形式作為Petri網模型中的節(jié)點，電子數據證據隨后的操作方法以及取證方法可描述為Petri網的變遷過程，提出了概率計算、驗證及推理過程方法。通過對概率進行計算，得到證據的概率數據，最終確保了電子數據取證的可信度。最后，作者分析了基于Petri網的電子數據取證有效性模型的具體應用及其法律適用性。關鍵詞：Petri網；電子數據取證；有效性；法律
電腦知識與技術 2017年12期2017-07-29
- 基于層次實時有色Petri網的實時服務描述研究
實時有色Petri網（RTCPN）與層次實時有色Petri網（HRTCPN），然后建立了原子實時服務到RTCPN映射描述模型（AS-RTCPN），對服務組合運算規(guī)則進行了詳細描述與建模，最后形成了服務組合HRTCPN描述模型的簡化算法，并給出了HRTCPN的可達服務圖RSG的定義及構建算法，證明了HRTCPN模型的正確性?！娟P鍵詞】Web服務 Petri網 形式化描述 實時服務 服務描述1 引言面向服務計算是實現(xiàn)跨平臺、跨語言和松藕合的最新分布式計算技術，
電子技術與軟件工程 2017年10期2017-06-02
- 基于Petri網的機場安檢流的分析
N（隨機Petri網）模型，通過它和馬爾科夫鏈的同構，我們可以計算出每個庫所的平均托肯數。我們把它作為判斷瓶頸區(qū)域的指標，并給出建議。同時分析了文化差異對于模型帶來的影響。關鍵詞： Petri網；GSPN模型；馬爾科夫鏈；平均托肯數Abstract：In the model，We first prove that he number of passengers arriving per unit time subject to Poisson distri
科技風 2017年10期2017-05-30
- Petri網在冷鏈中斷風險分析中的應用研究
失。考慮Petri網可將復雜動態(tài)系統(tǒng)抽象表達成網圖結構，通過庫所和變遷動態(tài)展示事件發(fā)生的過程，冷鏈中斷風險中成員對中斷風險反應將對冷鏈造成影響，構建petri網冷鏈上下游中斷風險分析模型進行分析，并結合冷鏈庫存在冷鏈風險分析中的重要性，對核心冷鏈成員進行庫存事件petri網建模，最后通過Extendsim仿真實現(xiàn)中斷風險下庫存的變化分析。結果：冷鏈中斷風險下petri網建模分析可以很直觀地反應上下游冷鏈成員受提前期和成本等的影響；而冷鏈中斷風險下庫存事件p
技術與創(chuàng)新管理 2017年1期2017-05-30
- Petri網研究現(xiàn)狀綜述
主要介紹Petri網的發(fā)展，討論Petri網的數學理論基礎，分析高級Petri網，總結Petri網適用領域，最后指出Petri網的發(fā)展趨勢。[關鍵詞]Petri網 高級Petri網 Petri網應用[中圖分類號] TP311 [文獻標識碼]A [文章編號]1009-5349（2016）22-0144-02一、發(fā)展歷程Petri網首先由著名數學家Carl Adam Petri提出，主要用于刻畫計算機系統(tǒng)異步通訊。此后，國內外研究學者對其研究發(fā)展做出了大量的工
現(xiàn)代交際 2016年22期2017-04-01
- 基于隨機函數Petri網的系統(tǒng)動力學關聯(lián)分析模型
以及隨機Petri網（SPN）本身存在計算能力不足等問題，首先，將SPN進行擴展，提出了隨機函數Petri網（SFPN）模型；然后，將SFPN與SD相結合，提出了一種SFPN-SD模型。因SFPN模型中的變遷本身能精確描述隨機延遲，故解決了SD模型存在的第一個問題；因SFPN模型中的條件弧能表達庫所之間的有條件轉移，故解決了SD模型存在的第二個問題；最后，在SPN的庫所和變遷中定義一些狀態(tài)變量及其狀態(tài)轉移方程，而狀態(tài)變量及其狀態(tài)轉移方程就是SD模型中的水平
計算機應用 2016年12期2017-01-13
- 工作流技術在醫(yī)療信息整合工程中的應用分析
HIS Petri網中圖分類號：TP393.09 文獻標識碼：A 文章編號：1007-9416（2016）09-0234-01目前在醫(yī)院，往往存在多種類型的信息系統(tǒng)，例如HIS（指的是：醫(yī)院信息系統(tǒng)）、RIS（指的是：放射學信息系統(tǒng)），PACS（指的是：影像存儲及通信系統(tǒng)），在進行信息交換時，不同系統(tǒng)所使用的信息傳輸協(xié)議和標準存在很大的差異，如HIS和RIS使用的是HL7，PACS使用的是DICOM，這些標準無法有效的兼容，使得這些系統(tǒng)之間的信息交換存在一
數字技術與應用 2016年9期2016-11-09
- 基于Petri網和雙層判據的配電網故障定位方法
)?基于Petri網和雙層判據的配電網故障定位方法高正中，許煥奇，雷倩，李世光，王慶禮(山東科技大學 電氣與自動化工程學院， 山東 青島266590)摘要：為了提高配電網故障定位系統(tǒng)的運算速度和容錯性能，提出了一種基于Petri網和雙層判據的配電網故障定位方法：依據電流判據和電壓判據進行故障診斷，并通過雙層判據和概率信息實現(xiàn)冗余信息糾錯。首先介紹了結合概率信息的Petri網的結構和定義；然后建立了故障定位的通用Petri網模型；最后對配電網2種標準接線方式
工礦自動化 2016年8期2016-08-13
- 面向軟件非功能需求的軟件過程建模方法
面建模;Petri網;沖突保證軟件質量一直是軟件界追求的目標，軟件質量與軟件非功能需求(non-functional requirements, NFRs)密切相關，非功能需求解決的好壞直接影響軟件的成敗，因此，非功能需求也常常被稱為質量需求.面對不同的非功能需求，工業(yè)界和學術界都針對性地提出了不同的軟件工程過程，包括：軟件可靠性工程過程[1-2]、信息系統(tǒng)安全工程過程[3]、系統(tǒng)防危性工程過程[4-5]、易用性工程過程[6]、Boehm和In[7]針對軟
計算機研究與發(fā)展 2016年7期2016-08-01
- 語用學視域下Petri網的復雜性特征
的發(fā)展，Petri網的語用復雜性研究已逐步展開。Petri網的復雜性主要體現(xiàn)在彰顯異步并發(fā)事件復雜的相關性，對事務自身狀態(tài)描述具有復雜性，實現(xiàn)了社會的網絡化，彰顯了語用主體邊界的復雜性，與語用技術融合發(fā)展具有復雜性，它本身具有自組織性。以語用網為核心的全球性研究陣營已經形成，如何發(fā)展語用技術的功能成為互聯(lián)網實現(xiàn)下一次技術飛躍的關鍵問題?！碴P鍵詞〕 Petri網，語用性，復雜性，相關性，模糊性，自組織性〔中圖分類號〕N031 〔文獻標識碼〕A 〔文章編號〕1
理論探索 2016年4期2016-07-26