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