《Petri網用於分散式複雜系統的研究》是依託中國科學院數學與系統科學研究院,由陸維明擔任項目負責人的面上項目。
基本介紹
- 中文名:Petri網用於分散式複雜系統的研究
- 項目類別:面上項目
- 項目負責人:陸維明
- 依託單位:中國科學院數學與系統科學研究院
- 批准號:69773016
- 申請代碼:F0214
- 負責人職稱:研究員
- 研究期限:998-01-01 至 2000-12-31
- 支持經費:12(萬元)
《Petri網用於分散式複雜系統的研究》是依託中國科學院數學與系統科學研究院,由陸維明擔任項目負責人的面上項目。
Petri網作為自動製造系統建模、分析和控制的重要數學工具,與自動機相比具有結構緊湊、表達直觀等優點。將Petri網建模與分析優勢和分散式控制技術緊密融合,能夠更有效地解決自動製造系統的監督控制問題。項目致力於研究自動製造系統Petri網模型的...
《Petri網導論》是2006年機械工業出版社出版的圖書,作者是吳哲輝。內容介紹 Petri網是什麼?它是分散式系統的建模和分析工具。它特別便於描述系統中進程或部件的順序、並發、衝突以及同步等關係。作為一種系統模型,Petri網不僅可以刻畫系統...
佩特里網(Petri net)是2018年公布的計算機科學技術名詞。定義 一種分散式系統模型,由德國科學家佩特里(C.A.Petri)於1962年提出,對真並發的描述是佩特里網模型的獨特優勢。一個佩特里網由一個網(基網)配置以一個初始標識構成,基...
《Petri網並行化理論與並行算法》是2018年科學出版社出版的圖書,作者是李文敬、元昌安、閉應洲。內容簡介 Petri網是複雜系統運行過程中並發、互斥、同步直接、自然和精確的表示,已成為描述物理世界的異步並發現象並揭示其可計算規律的重要...
以對象Petri網為基礎對複雜信息系統功能進行可執行驗證。本項目研究從嚴格的功能形式化描述入手並依賴於可執行模型驗證系統的功能,為系統功能的分析和最佳化提出了一種新的思路,為系統功能分析和功能設計提供了科學的定量化的研究方法。
活動集間直接關係以及活動集間間接關係等方面的一致性處理方法;然後,從複雜信息系統整體能力的角度,提出功能活動模型合併後的能力分析與結構最佳化方法;最後,針對上述集成模型的驗證問題,採用Petri網研究功能活動模型的大規模集成驗證方法。
《邏輯Petri網理論及其合成運算性質研究》是依託山東科技大學,由杜玉越擔任項目負責人的面上項目。項目摘要 為了描述與分析具有批處理功能和傳值不確定性的分散式協同系統,近年來我們提出了一種邏輯Petri網方法,並將其套用於證券交易、電子...
此外,如何從已有的工作流系統的日誌中挖掘出較為精確的過程模型,以此輔助過程建模並為過程改進提供依據,亦是一個有意義的問題。中文摘要 針對這些問題,本文基於Petri網理論,在工作流網及其擴展模型的基礎上對工作流的業務過程建模與...
是一個典型多階段、多層次和多主體間的動態與靜態相互協調關聯的複雜離散事件大系統,因此,在本課題研究中,對公交調度的各個環節進行抽象,並將它們對應為離散事件仿真的不同元素和模組,是實現公交調度仿真的研究思路,這與可拓Petri網...
12.2一個模擬複雜維修系統的通用方法 12.3Petri網用於可維修系統建模 12.3.1Petri網基礎 12.3.2組件建模 12.3.3系統建模 12.4模型仿真與可靠性性能評估 12.5渦輪增壓潤滑系統性能評估 12.5.1案例研究的表達 12.5.2可維修系統...
6.1 基於知識視角改進的複雜產品系統創新過程研究 6.2 面向複雜產品系統創新的知識流動模型研究 6.3 基於改進Petri網的複雜產品系統項目規劃模型研究 6.4 基於隱性需求開發的複雜產品系統創新模型研究 6.5 基於DSM模糊評價的複雜產品...
進一步研究了可重寫Petri網的系統建模能力,以及在緩解狀態空間爆炸、降低分析複雜度等方面的優勢, Petri網的動態的服務組合模型及性質、動態工作流的QoS隨機評價分析方法、複雜軟體系統公平性驗證方法、基於工作流的資源建模、雲計算中的資源...
套用較為廣泛的基於智慧型技術的電網故障診斷方法,包括專家系統、人工神經網路、貝葉斯網路、最佳化技術、支持向量機、模糊集理論、Petri網、信息融合技術和多智慧型體技術。簡單介紹了這些智慧型方法的基本概念,在電網故障診斷領域的研究現狀,並從...