應(yīng)用Petri Net方法建模分析物流系統(tǒng)的實(shí)施工程

針對(duì)在網(wǎng)絡(luò)選座系統(tǒng)中,沒(méi)有涉及的需要購(gòu)買(mǎi)同一隔間兩張臥鋪的問(wèn)題,提出了網(wǎng)絡(luò)選座系統(tǒng)模型并進(jìn)行了優(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í)用性.

連鑄生產(chǎn)過(guò)程與狀態(tài)的實(shí)時(shí)跟蹤記錄,對(duì)提高鋼廠生產(chǎn)效率與鑄坯產(chǎn)品質(zhì)量非常重要,但由于連鑄過(guò)程的復(fù)雜性和不確定性,很難建立精確的數(shù)學(xué)模型來(lái)對(duì)連鑄的生產(chǎn)條件、生產(chǎn)狀態(tài)進(jìn)行有效的分析.采用帶抑止弧的p賦時(shí)有色petrinet,建立了連鑄前鋼包爐次傳遞模型和連鑄中鋼坯狀態(tài)跟蹤模型,并對(duì)生產(chǎn)條件與狀態(tài)進(jìn)行了簡(jiǎn)單有效的分析.結(jié)合模型分析結(jié)果與采用ge的proficyhmi/scada-ifix軟件現(xiàn)場(chǎng)實(shí)時(shí)采集的生產(chǎn)數(shù)據(jù),在visualstudio平臺(tái)中開(kāi)發(fā)出一套完整的鋼鐵連鑄鑄坯信息跟蹤系統(tǒng).

敏捷制造是一種新型的組織制造模式,以實(shí)現(xiàn)企業(yè)間的集團(tuán)協(xié)作,實(shí)行不同廠家之間的優(yōu)化組合,提高企業(yè)運(yùn)行效率為目標(biāo)。本文通過(guò)工作流技術(shù)和petri網(wǎng)方法的有機(jī)結(jié)合,進(jìn)行模具敏捷制造過(guò)程的建模,為制造過(guò)程的分析和優(yōu)化提供依據(jù)。

土建工程是房屋建筑工程中一項(xiàng)重要工程,它的構(gòu)造及施工工藝流程對(duì)整個(gè)房屋結(jié)構(gòu)及安全系數(shù)起到至關(guān)重要作用,它是一個(gè)工作流過(guò)程.petir網(wǎng)使用網(wǎng)狀圖形表示系統(tǒng)模型,能夠表達(dá)順序與并發(fā)事件,實(shí)現(xiàn)自動(dòng)化,對(duì)該項(xiàng)工程進(jìn)行petri網(wǎng)建模,有效的組織管理施工,組建科學(xué)的施工工藝流程.

用petri網(wǎng)建立了建筑施工流程的優(yōu)化模型,模型形象描述了建筑過(guò)程中施工流程的因果關(guān)系,并以總工期為優(yōu)化目標(biāo),給出了優(yōu)化算法,判別出整個(gè)施工過(guò)程中的關(guān)鍵流程,對(duì)關(guān)鍵流程進(jìn)行優(yōu)化,從而達(dá)到對(duì)整個(gè)建筑施工流程的優(yōu)化,并可以計(jì)算出其它非關(guān)鍵流程的緩沖時(shí)間。

敏捷制造是一種新型的組織制造模式，以實(shí)現(xiàn)企業(yè)間的集團(tuán)協(xié)作，實(shí)行不同廠家之間的優(yōu)化組合，提高企業(yè)運(yùn)行效率為目標(biāo)。本文通過(guò)工作流技術(shù)和petri網(wǎng)方法的有機(jī)結(jié)合，進(jìn)行模具敏捷制造過(guò)程的建模，為制造過(guò)程的分析和優(yōu)化提供依據(jù)。

介紹了一種混合petri網(wǎng)的基本原理,在分析了復(fù)雜地下工程智能化系統(tǒng)的復(fù)雜性、交互性、混合性的基礎(chǔ)上,提出了利用混合petri網(wǎng)對(duì)復(fù)雜地下工程智能化系統(tǒng)進(jìn)行建模的一般方法,進(jìn)而為復(fù)雜地下工程智能化系統(tǒng)的性能指標(biāo)定量分析和系統(tǒng)結(jié)構(gòu)優(yōu)化提供了理論依據(jù)。

通過(guò)分析離散制造系統(tǒng)的基本組成元素和離散制造過(guò)程的特點(diǎn)，將有色時(shí)間ｐｅｔｒｉ網(wǎng)中的顏色元素進(jìn)行面向?qū)ο蟮臄U(kuò)展，分別對(duì)離散制造系統(tǒng)的硬件組成，行為方式的控制方式建立模型。通過(guò)模型的仿真運(yùn)行模擬離散制造過(guò)程的控制信息和數(shù)據(jù)的流動(dòng)情況，為離散制造系統(tǒng)的設(shè)計(jì)，規(guī)劃，調(diào)度，控制等問(wèn)題的研究提供了一個(gè)有效的工具。

以petri網(wǎng)為建模工具,針對(duì)木材柔性加工系統(tǒng)(woodflexiblemanufacturingsystem,wfms)中的離散事件建立賦時(shí)著色petri網(wǎng)(timedcoloredpetri-net,tcpn)模型.該模型不僅可以反映木材柔性加工系統(tǒng)中待加工產(chǎn)品的工藝加工路線(xiàn),對(duì)系統(tǒng)的特性進(jìn)行描述,還能夠根據(jù)生產(chǎn)任務(wù)的變化進(jìn)行快速重構(gòu).應(yīng)用軟件對(duì)該模型進(jìn)行仿真,結(jié)果表明該模型是有效的.根據(jù)仿真結(jié)果,對(duì)系統(tǒng)進(jìn)行簡(jiǎn)單的優(yōu)化調(diào)度,提高了機(jī)床的利用率.

petri網(wǎng)通過(guò)工作流系統(tǒng)來(lái)處理一些大型案例。每個(gè)案例有一個(gè)唯一的標(biāo)識(shí),案例在出現(xiàn)和消失之間總是處于某個(gè)特定狀態(tài),可以充分運(yùn)用案例的相關(guān)屬性使用petri網(wǎng)建立工作流。高校創(chuàng)收項(xiàng)目全程跟蹤審計(jì)系統(tǒng)就是一個(gè)典型的工作流案例,主控模塊項(xiàng)目立項(xiàng)、項(xiàng)目實(shí)施和項(xiàng)目結(jié)算,每個(gè)模塊內(nèi)部和模塊與模塊之間涉及到流程,都需要審批,是工作流的過(guò)程。

petri網(wǎng)絡(luò)模擬方法是通過(guò)應(yīng)用petri網(wǎng)的基本特性對(duì)施工系統(tǒng)進(jìn)行建模,描述模型中資源等施工參數(shù)隨施工進(jìn)度的變化,其網(wǎng)絡(luò)模型能夠較好地描述實(shí)際施工系統(tǒng)的動(dòng)態(tài)變化情況,優(yōu)選施工組織方案和施工機(jī)械設(shè)備的配置。本文系統(tǒng)分析隧洞施工過(guò)程及其程序,建立了基于petri網(wǎng)絡(luò)的施工過(guò)程模擬模型以及可行施工方案的多目標(biāo)決策模型。實(shí)例分析說(shuō)明了模擬方法、模擬模型和決策模型是有效的、可行的。

高校設(shè)備采購(gòu)本身是一項(xiàng)復(fù)雜的活動(dòng),是一個(gè)多任務(wù)、多角色參與的流程化執(zhí)行過(guò)程。在該過(guò)程中,如何合理設(shè)計(jì)所涉及到的各個(gè)環(huán)節(jié),以及如何對(duì)各個(gè)環(huán)節(jié)進(jìn)行優(yōu)化和合理的資源配置是需要解決的重要問(wèn)題。本文采用基于petri網(wǎng)的工作流技術(shù)對(duì)高校設(shè)備采購(gòu)流程進(jìn)行工作流建模,并提出一種工作流合理性驗(yàn)證算法和工作流的優(yōu)化算法。通過(guò)實(shí)踐表明,這一方法取得了較好的應(yīng)用效果,同時(shí)這將為采購(gòu)軟件的開(kāi)發(fā)提供很好的理論支持。

本文針對(duì)物流的運(yùn)輸問(wèn)題,用系統(tǒng)工程的方法進(jìn)行了分析,以便為今后的研究提供思路。

科研項(xiàng)目管理是高?？蒲行畔⑾到y(tǒng)的核心部分之一,利用petri網(wǎng),對(duì)復(fù)雜的科研項(xiàng)目管理工作流程建模,解決高校信息化中較為復(fù)雜的科研項(xiàng)目管理工作流問(wèn)題。以高校科研項(xiàng)目申請(qǐng)流程為例,給出了相關(guān)定義,分析和解決建模中遇到的幾個(gè)問(wèn)題。

科技項(xiàng)目管理是企業(yè)信息系統(tǒng)的重要組成部分,利用petri網(wǎng),對(duì)復(fù)雜的科技項(xiàng)目管理工作流程建模,解決企業(yè)信息化中較為復(fù)雜的科技項(xiàng)目管理工作流問(wèn)題。同時(shí),以企業(yè)科技項(xiàng)目申請(qǐng)流程為例,給出了相關(guān)定義,分析和解決設(shè)計(jì)流程中遇到的幾個(gè)問(wèn)題。

分析了火災(zāi)報(bào)警與聯(lián)動(dòng)控制過(guò)程,并利用petri網(wǎng)對(duì)這一過(guò)程中事件的異步、并行、沖突等重要特征進(jìn)行描述,并實(shí)施分析、研究,對(duì)數(shù)據(jù)處理算法予以?xún)?yōu)化,最后給出了基于petri網(wǎng)的火災(zāi)報(bào)警控制系統(tǒng)模型。

文中分析了電梯門(mén)系統(tǒng)的組成結(jié)構(gòu),描述了電梯門(mén)系統(tǒng)的運(yùn)行過(guò)程。文中利用有色petri網(wǎng)中不同顏色的token可以表示系統(tǒng)的不同類(lèi)型的狀態(tài)的原理建立了基于有色petri網(wǎng)的電梯門(mén)系統(tǒng)模型,避免了傳統(tǒng)petri網(wǎng)建模模型時(shí)引起的狀態(tài)空間爆炸問(wèn)題。然后利用cpntools對(duì)模型進(jìn)行動(dòng)態(tài)分析并生成狀態(tài)空間報(bào)告以分析模型的回歸性、有界性、活性及公平性?；钚苑治龃嬖谒罉?biāo)識(shí)時(shí),提出基于ask-ctl模型檢驗(yàn)理論的死標(biāo)識(shí)合理性算法驗(yàn)證模型中不存在自循環(huán)終端和死鎖標(biāo)識(shí),進(jìn)而驗(yàn)證了死標(biāo)識(shí)存在的合理性,證實(shí)了電梯門(mén)系統(tǒng)cpn模型的正確性。

提出了基于著色petri網(wǎng)(cp網(wǎng))的功能塊集成模型。該模型采用模塊化、面向?qū)ο蟮慕Ｋ枷?分別以一個(gè)cp網(wǎng)來(lái)描述不同的功能塊,在每個(gè)cp網(wǎng)內(nèi)部定義了內(nèi)部變量和外部消息。當(dāng)利用功能塊構(gòu)造控制系統(tǒng)時(shí),相應(yīng)地把代表它們的cp網(wǎng)集成在一起,并且通過(guò)消息傳遞,協(xié)調(diào)功能塊之間的作用關(guān)系,共同完成控制系統(tǒng)的功能

將填土路基施工過(guò)程系統(tǒng)分解為相互關(guān)聯(lián)的子對(duì)象系統(tǒng),分別用petri網(wǎng)對(duì)子對(duì)象系統(tǒng)建立分級(jí)子模型,然后再將子模型系統(tǒng)作為變遷元素嵌入到道路施工的主網(wǎng)絡(luò)模型中去,從而獲得整個(gè)道路施工系統(tǒng)的petri網(wǎng)模型.

文章把把并行工程的概念引入到制造業(yè)信息系統(tǒng)開(kāi)發(fā)中來(lái)。分析了一種基于并行工程的制造業(yè)信息系統(tǒng)開(kāi)發(fā)的petri網(wǎng)模型及其工作原理。利用petri網(wǎng)的特性與優(yōu)點(diǎn),結(jié)合制造業(yè)自身的特點(diǎn),闡述了在并行工程下,利用petri網(wǎng)進(jìn)行制造業(yè)信息系統(tǒng)開(kāi)發(fā)的過(guò)程

針對(duì)建筑產(chǎn)品設(shè)計(jì)過(guò)程工作流的動(dòng)態(tài)性和不確定性的管理與控制,提出基于擴(kuò)展petri網(wǎng)的建筑產(chǎn)品設(shè)計(jì)過(guò)程工作流模型,并以一般商用辦公樓的設(shè)備設(shè)計(jì)過(guò)程為例構(gòu)建模型,應(yīng)用cpntools仿真軟件進(jìn)行仿真分析和過(guò)程優(yōu)化。結(jié)果表明,提出的工作流模型對(duì)建筑產(chǎn)品設(shè)計(jì)過(guò)程管理和優(yōu)化具有明顯效果。

針對(duì)鋼鐵生產(chǎn)物流系統(tǒng)流動(dòng)途徑多樣性和復(fù)雜性,利用復(fù)雜網(wǎng)絡(luò)理論和有關(guān)網(wǎng)絡(luò)分析方法,以生產(chǎn)和運(yùn)輸設(shè)備為節(jié)點(diǎn),設(shè)備之間物流流動(dòng)關(guān)系為邊,建立鋼鐵生產(chǎn)物流系統(tǒng)復(fù)雜網(wǎng)絡(luò)模型,通過(guò)分析網(wǎng)絡(luò)模型的統(tǒng)計(jì)特性,驗(yàn)證了鋼鐵生產(chǎn)物流系統(tǒng)網(wǎng)絡(luò)既是小世界網(wǎng)絡(luò)也是無(wú)標(biāo)度網(wǎng)絡(luò),為探尋新的物流路徑優(yōu)化方法和改進(jìn)、優(yōu)化鋼鐵生產(chǎn)過(guò)程提供理論和技術(shù)指導(dǎo)。