Randomly Generated Petri Nets

该数据集包含随机生成的Petri网，其参数各异，如位置、变迁和令牌的数量，这些参数用于评估论文中提出的概念的性能。此外，该数据集有助于评估贝叶斯网络在Petri网不确定性推理中的应用，尤其关注与联合分布的运行时比较。数据集在生成时限制了不同参数，最大位置数在前后条件中限制为三个，且每步最多有五个变迁被激活。该数据集的任务是评估概率Petri网中不确定性推理的性能。

This dataset consists of randomly generated Petri nets with varying parameters including the counts of places, transitions and tokens. These parameters are used to evaluate the performance of the concepts proposed in this paper. Additionally, this dataset helps assess the application of Bayesian networks in uncertainty reasoning for Petri nets, with a particular focus on runtime comparisons against joint distributions. During the generation of this dataset, various parameters are constrained: the maximum number of places in both preconditions and postconditions is limited to three, and no more than five transitions can be activated per step. The task of this dataset is to evaluate the performance of uncertainty reasoning in probabilistic Petri nets.