Petri net reduction rules for replay

Replaying event logs on Petri nets, either through token-replay or using alignments, is a complex task. Especially when models become larger and have more labels, the size of the models becomes a problem. In Petri net theory, many reduction rules exist for reducing Petri nets while retaining, for example, soundness of the model. Can we derive such a set of rules that are “replay-preserving”, i.e. can we make the problem of replaying logs on models simpler by doing a structural reduction on the input.

Contact prof. Boudewijn van Dongen

Leave a Reply