A Testability Model Method Based on Three-State Fault Colored Generalized Stochastic Petri Nets

Zhai, Yuyao; Shi, Xianjun; Han, Lu; Qin, Yufeng

doi:10.1007/978-981-15-8155-7_16

Cited by 2 publications

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Goldratt's method adds self-loops when repairing the model, which increases the complexity of the model [10]. A testability modeling method based on colored generalized stochastic Petri nets is proposed in [11]. It can solve the problem when failure modes are ignored in the existing testability mode.…”

Section: Introductionmentioning

confidence: 99%

Repairing Process Models with Non-Free-Choice Constructs Based on Token Replay

Bai

Mei

Luan

et al. 2022

cai

View full text Add to dashboard Cite

A method of repairing process models with non-free-choice constructs is proposed based on logical Petri nets, aiming at the problem of low precision in the existing repair methods. An extended successor matrix of transitions is determined according to the distance between any two transitions. There are two types of choice-construct transitions. One is a non-free-choice construct transition, and the other is a general choice construct transition. The type of choice-construct transitions can be determined based on the extended successor matrix and the relationship between the front and back sets of transitions. The location of the deviations is calculated by an improved replaying method. Finally, a model can be * Corresponding author Repairing Process Models with Non-Free-Choice 1055 repaired according to remaining-token places and missing-token places. Based on the experiments on real event logs, the method proposed in this paper has a better performance in fitness, precision, and simplicity compared with its peers.

show abstract

Section: Introductionmentioning

confidence: 99%