針對在網絡選座系統中,沒有涉及的需要購買同一隔間兩張臥鋪的問題,提出了網絡選座系統模型并進行了優化.首先利用petri網描述了網絡選座系統模型,然后添加相關的活動變遷和庫所,根據提出的網絡購票公式,判斷每個隔間所剩硬臥的個數,當剩余硬臥的個數大于等于2時,系統自動分配當前隔間兩張硬臥給乘客；當剩余硬臥的個數小于2時,則自動分配下一間的兩張硬臥給乘客,從而達到同行人能夠購買同一隔間硬臥的目的.最后,通過示例分析,說明了網絡選座模型的有效性和實用性.

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

敏捷制造是一種新型的組織制造模式,以實現企業間的集團協作,實行不同廠家之間的優化組合,提高企業運行效率為目標。本文通過工作流技術和petri網方法的有機結合,進行模具敏捷制造過程的建模,為制造過程的分析和優化提供依據。

土建工程是房屋建筑工程中一項重要工程,它的構造及施工工藝流程對整個房屋結構及安全系數起到至關重要作用,它是一個工作流過程.petir網使用網狀圖形表示系統模型,能夠表達順序與并發事件,實現自動化,對該項工程進行petri網建模,有效的組織管理施工,組建科學的施工工藝流程.

用petri網建立了建筑施工流程的優化模型,模型形象描述了建筑過程中施工流程的因果關系,并以總工期為優化目標,給出了優化算法,判別出整個施工過程中的關鍵流程,對關鍵流程進行優化,從而達到對整個建筑施工流程的優化,并可以計算出其它非關鍵流程的緩沖時間。

敏捷制造是一種新型的組織制造模式，以實現企業間的集團協作，實行不同廠家之間的優化組合，提高企業運行效率為目標。本文通過工作流技術和petri網方法的有機結合，進行模具敏捷制造過程的建模，為制造過程的分析和優化提供依據。

介紹了一種混合petri網的基本原理,在分析了復雜地下工程智能化系統的復雜性、交互性、混合性的基礎上,提出了利用混合petri網對復雜地下工程智能化系統進行建模的一般方法,進而為復雜地下工程智能化系統的性能指標定量分析和系統結構優化提供了理論依據。

通過分析離散制造系統的基本組成元素和離散制造過程的特點，將有色時間ｐｅｔｒｉ網中的顏色元素進行面向對象的擴展，分別對離散制造系統的硬件組成，行為方式的控制方式建立模型。通過模型的仿真運行模擬離散制造過程的控制信息和數據的流動情況，為離散制造系統的設計，規劃，調度，控制等問題的研究提供了一個有效的工具。

以petri網為建模工具,針對木材柔性加工系統(woodflexiblemanufacturingsystem,wfms)中的離散事件建立賦時著色petri網(timedcoloredpetri-net,tcpn)模型.該模型不僅可以反映木材柔性加工系統中待加工產品的工藝加工路線,對系統的特性進行描述,還能夠根據生產任務的變化進行快速重構.應用軟件對該模型進行仿真,結果表明該模型是有效的.根據仿真結果,對系統進行簡單的優化調度,提高了機床的利用率.

petri網通過工作流系統來處理一些大型案例。每個案例有一個唯一的標識,案例在出現和消失之間總是處于某個特定狀態,可以充分運用案例的相關屬性使用petri網建立工作流。高校創收項目全程跟蹤審計系統就是一個典型的工作流案例,主控模塊項目立項、項目實施和項目結算,每個模塊內部和模塊與模塊之間涉及到流程,都需要審批,是工作流的過程。

petri網絡模擬方法是通過應用petri網的基本特性對施工系統進行建模,描述模型中資源等施工參數隨施工進度的變化,其網絡模型能夠較好地描述實際施工系統的動態變化情況,優選施工組織方案和施工機械設備的配置。本文系統分析隧洞施工過程及其程序,建立了基于petri網絡的施工過程模擬模型以及可行施工方案的多目標決策模型。實例分析說明了模擬方法、模擬模型和決策模型是有效的、可行的。

高校設備采購本身是一項復雜的活動,是一個多任務、多角色參與的流程化執行過程。在該過程中,如何合理設計所涉及到的各個環節,以及如何對各個環節進行優化和合理的資源配置是需要解決的重要問題。本文采用基于petri網的工作流技術對高校設備采購流程進行工作流建模,并提出一種工作流合理性驗證算法和工作流的優化算法。通過實踐表明,這一方法取得了較好的應用效果,同時這將為采購軟件的開發提供很好的理論支持。

本文針對物流的運輸問題,用系統工程的方法進行了分析,以便為今后的研究提供思路。

科研項目管理是高?？蒲行畔⑾到y的核心部分之一,利用petri網,對復雜的科研項目管理工作流程建模,解決高校信息化中較為復雜的科研項目管理工作流問題。以高校科研項目申請流程為例,給出了相關定義,分析和解決建模中遇到的幾個問題。

科技項目管理是企業信息系統的重要組成部分,利用petri網,對復雜的科技項目管理工作流程建模,解決企業信息化中較為復雜的科技項目管理工作流問題。同時,以企業科技項目申請流程為例,給出了相關定義,分析和解決設計流程中遇到的幾個問題。

分析了火災報警與聯動控制過程,并利用petri網對這一過程中事件的異步、并行、沖突等重要特征進行描述,并實施分析、研究,對數據處理算法予以優化,最后給出了基于petri網的火災報警控制系統模型。

文中分析了電梯門系統的組成結構,描述了電梯門系統的運行過程。文中利用有色petri網中不同顏色的token可以表示系統的不同類型的狀態的原理建立了基于有色petri網的電梯門系統模型,避免了傳統petri網建模模型時引起的狀態空間爆炸問題。然后利用cpntools對模型進行動態分析并生成狀態空間報告以分析模型的回歸性、有界性、活性及公平性?；钚苑治龃嬖谒罉俗R時,提出基于ask-ctl模型檢驗理論的死標識合理性算法驗證模型中不存在自循環終端和死鎖標識,進而驗證了死標識存在的合理性,證實了電梯門系統cpn模型的正確性。

隨著企業中it應用復雜程度的提高,企業信息化的高風險性和高失敗率問題日益突出,嚴重阻礙了信息化的進行.文章通過對上述問題的分析和研究,提出實施前用結果鏈模型(rc)和著色petri網對其實施過程建模,找出最佳實施途徑;在實施過程中利用結果鏈模型和評價系統實時/階段性地監測實施過程中出現的問題,及時進行判斷并予以解決,以確保信息化過程始終與企業的利益及戰略吻合.擬通過上述手段為企業信息化提供一種定量分析和模擬的工具.這是降低信息化過程的風險,提高成功率的一種探索.

簡述了鋼筋混凝土結構中常用的加固方法及其適用范圍,通過具體工程實例,介紹了增大截面和粘貼碳纖維等加固方法在某物流工程中的綜合應用,并提出了設計施工建議,以確保建筑物使用安全。

針對鐵路貨物快運組織流程,文章為分析其中可能存在的不合理環節并進行優化,以京津冀貨物快運列車為例,建立petri網模型,通過建立關聯矩陣,尋找流程中\"沖突\"和\"同步\"關系并進行優化,最后從理論上分析構建的模型對流程起到的優化效果;提出貨物快運流程優化補充建議:構建接取送達網絡,完善信息管理平臺,拓寬繳費渠道,提前發出領貨通知。

項目管理是一類典型的離散并發不確定系統,經典petri網及其擴展可以很好的對項目工序邏輯關系、時間約束、資源約束、項目執行過程監控等進行可視化建模的同時,提供形式化理論支撐.在綜合研究現有petri網項目管理模型基礎上,提出了基于著色時間約束petri網的項目動態管理模型,并對該模型的變遷激發規則、狀態空間、可達性及可調度性進行分析.該模型能夠對項目管理中時間約束及資源約束進行建模,為項目動態管理提供可視化、形式化建模工具.

針對asp.net傳統教學中存在的一些問題,基于.net框架,c#為主要編程語言,以銀行服務系統為例介紹uml建模在asp.net教學中的應用,通過真實的案例教學,培養學生對系統進行需求分析和面向對象建模的能力,提高學生的實踐動手能力。