牛耕

摘要：由于目前互聯網電子數據取證存在有效性驗證不足的弊端，通過與概率論模型相結合，提出了基于Petri網的電子數據取證有效性模型。該模型以Petri網模型作為構建基礎，將電子數據取證后的數據形式作為Petri網模型中的節(jié)點，電子數據證據隨后的操作方法以及取證方法可描述為Petri網的變遷過程，提出了概率計算、驗證及推理過程方法。通過對概率進行計算，得到證據的概率數據，最終確保了電子數據取證的可信度。最后，作者分析了基于Petri網的電子數據取證有效性模型的具體應用及其法律適用性。

關鍵詞：Petri網；電子數據取證；有效性；法律