Petrinet for
viewing and manipulating in a graphical editor.DNodeSys representation of a Petri net for constructing a McMillan
prefix of the Petri net.DNodeSys from a Petri net.NetTransformationConnection.TRANSFORMED_NET is the result of some transformation on
the first net NetTransformationConnection.ORIGINAL_NET.#simplifyNet(PluginContext, XLog, Petrinet, Marking) to
construct a simplified net that can replay the entire log by unfolding the net,
simplifying the unfolding, and folding the result back to a model.