牛耕

摘要：由于目前互联网电子数据取证存在有效性验证不足的弊端，通过与概率论模型相结合，提出了基于Petri网的电子数据取证有效性模型。该模型以Petri网模型作为构建基础，将电子数据取证后的数据形式作为Petri网模型中的节点，电子数据证据随后的操作方法以及取证方法可描述为Petri网的变迁过程，提出了概率计算、验证及推理过程方法。通过对概率进行计算，得到证據的概率数据，最终确保了电子数据取证的可信度。最后，作者分析了基于Petri网的电子数据取证有效性模型的具体应用及其法律适用性。

关键词：Petri网；电子数据取证；有效性；法律