時間匹特里網（time Petri net）一類特殊的匹特里網.即描述變遷的時間特性的匹特里網.由梅林 (Merlin , P.)等人於1976年提出.該模型規定每個變遷都對應著一個時間區間巨a,司，任何一個變遷，當它使能之後，它在時間區間巨a,司內便具有連續使能權.使用這種網，梅林等討論了一些計算機系統和進程中的可達性問題.應該說，時間匹特里網又是時延匹特里網的一種推廣.
基本介紹
- 中文名：時間匹特里網
- 外文名：time Petri net)
時間匹特里網（time Petri net）一類特殊的匹特里網.即描述變遷的時間特性的匹特里網.由梅林 (Merlin , P.)等人於1976年提出.該模型規定每個變遷都對應著一個時間區間巨a,司，任何一個變遷，當它使能之後，它在時間區間巨a,司內便具有連續使能權.使用這種網，梅林等討論了一些計算機系統和進程中的可達性問題.應該說，時間匹特里網又是時延匹特里網的一種推廣.
時間匹特里網（time Petri net）一類特殊的匹特里網.即描述變遷的時間特性的匹特里網.由梅林 (Merlin , P.)等人於1976年提出.該模型規定每個變遷都對應著一個時間區間巨a,司，任何一個變遷，當它使...
支持對系統模型的各種性質的分析和性能評價.匹特里網的主要性質包括可達性、有界性和安全性、活性、公平性等，而它的主要擴充形式有時延匹特里網、時間匹特里網、隨機匹特里網、謂詞變遷網、顏色匹特里網、高級網等.
隨機匹特里網(stochastic Petri net)一類特殊的匹特里網。指具有隨機演化規則的匹特里網，由莫洛伊(Mo11oy,M. K.)於1982年提出.模型中對每個變遷的引發都規定了一個隨機的時延參量.大多數隨機匹特里網模型的性能分析方法均基於其狀態空間...
時間匹特里網（time Petri net）一類特殊的匹特里網.即描述變遷的時間特性的匹特里網.由梅林 (Merlin , P.)等人於1976年提出.該模型規定每個變遷都對應著一個時間區間巨a,司，任何一個變遷，當它使能之後，它在時間區間巨a,司內便...
高級網(high-level Petri net)一類複雜的匹特里網。它具有更強描述能力和變遷過程的各種擴展的定義，具有更豐富的內涵，並降低網結構的複雜度.前述謂詞/變遷網、顏色匹特里網、隨機匹特里網和時間匹特里(延)網等均屬高級網之列.這些網...