佩特里網（Petri net）是2018年公布的計算機科學技術名詞。
佩特里網（Petri net）是2018年公布的計算機科學技術名詞。定義一種分散式系統模型，由德國科學家佩特里（C.A.Petri）於1962年提出，對真並發的描述是佩特里網模型的獨特優勢。一個佩特里網由一個網（基網）配...
佩特里網(Petri Nets)論是網論分支之一，又稱特殊網論。研究如何將佩特里網模擬系統以及佩特里網的分析技術，適用於無中央控制的異步並發系統的動態定性研究。佩特里網論的原型是在20世紀60年代初由聯邦德國TH Darmstadt（現TU Darmstadt）...
佩特里網語言（Petri net language）是2018年公布的計算機科學技術名詞。定義 從語言理論的角度來研究佩特里網中的變遷發生序列的集合及其性質的分支。對一個佩特里網，如果定義了其變遷集到某字母表的一個映射。這個佩特里網中滿足某些條件...
公平佩特里網 公平佩特里網（fair Petri net）是2018年公布的計算機科學技術名詞。定義 若一個佩特里網中的任意兩個變遷都處於公平關係，這個佩特里網就稱為公平佩特里網。出處 《計算機科學技術名詞 》第三版。
帶抑止弧的佩特里網（Petri net with inhibitor arc）是2018年公布的計算機科學技術名詞。定義 一種增廣佩特里網，其模擬能力等價於圖靈機。這種模型在原型佩特里網上的基礎上增加了一種抑止弧，從而起到控制使能變遷發生的作用。出處 《...
通用網論是以條件事件系統為基礎，研究網的分類、各類網的性質及其相互關係的理論，是網論分支之一。基本信息 條件事件系統（簡稱CE系統）若限制佩特里網（見佩特里網論）為簡單網，且要求它的各個圓圈節點之容量均為1，就可把這些圓圈...
《漂浮體三維姿態的雷射檢測方法研究》是依託上海交通大學，由徐高鉞擔任項目負責人的面上項目。項目摘要 本項目歷時叄年投入拾肆人年完成原計畫。針對各類分散式複雜系統，特別是具有高度並行性的物理系統，以隨機佩特里網與時間佩特里網模型...
有向弧 有向弧（directed arc）是2018年公布的計算機科學技術名詞。定義 在佩特里網的圖形表示中，這種弧集表示佩特里網的流關係，常用 F 表示。出處 《計算機科學技術名詞 》第三版。
狀態爆炸 狀態爆炸（state explosion）是2018年公布的計算機科學技術名詞。定義 對求解佩特里網的相關問題的算法複雜性偏高的一種形象說法。因為許多佩特里網的可達標識的個數可能隨網元的增加而指數階增長。
可達性樹是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 若把無界佩特里網的可覆蓋性樹的構造算法套用於有界佩特里網Σ,所得到的樹結構中的各個結點的標註中不會出現無界量符號 ω ，而且Σ的每個可達標識都會出現在...
向前可達性（forward reachability）是2018年公布的計算機科學技術名詞。定義 在條件/事件系統中，假定一個事件既可向前發生（即按佩特里網原義發生），也可向後發生。向前可達性即按佩特里網原義的可達性。出處 《計算機科學技術名詞 》第...
