Package org.processmining.longdistancedependencies

Class AcceptingPetriNet2StochasticLabelledPetriNetAdjustmentWeights

java.lang.Object

org.processmining.longdistancedependencies.AcceptingPetriNet2StochasticLabelledPetriNetAdjustmentWeights

public class AcceptingPetriNet2StochasticLabelledPetriNetAdjustmentWeights
extends java.lang.Object

Converts the Petri net into a stochastic labelled Petri net, but doesn't put any weights. Notice that this method assumes that the Petri net ends in a deadlock, and that every deadlock is accepting.

Author:

sander

Constructor Summary

Constructors

Constructor	Description
AcceptingPetriNet2StochasticLabelledPetriNetAdjustmentWeights()

Method Summary

Modifier and Type	Method	Description
static StochasticLabelledPetriNetAdjustmentWeightsEditable	convert(org.processmining.models.graphbased.directed.petrinet.Petrinet oldNet, org.processmining.models.semantics.petrinet.Marking oldInitialMarking)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AcceptingPetriNet2StochasticLabelledPetriNetAdjustmentWeights

public AcceptingPetriNet2StochasticLabelledPetriNetAdjustmentWeights()

Method Detail

convert

public static StochasticLabelledPetriNetAdjustmentWeightsEditable convert(org.processmining.models.graphbased.directed.petrinet.Petrinet oldNet,
                                                                          org.processmining.models.semantics.petrinet.Marking oldInitialMarking)