public class BalsaArtifactToPetriNetConverter
extends java.lang.Object
Constructor and Description |
---|
BalsaArtifactToPetriNetConverter(Balsa balsa,
ConvertBalsaArtifactToPetriNetConfiguration configuration) |
Modifier and Type | Method and Description |
---|---|
void |
duplicatePetriNetIntoPetriNet2(Petrinet containerPn,
Petrinet containedPn,
TransitionId transToBeRepl) |
org.processmining.models.semantics.petrinet.Marking |
getConvertedInitialMarking() |
org.processmining.models.graphbased.directed.petrinet.InhibitorNet |
getConvertedNet() |
public BalsaArtifactToPetriNetConverter(Balsa balsa, ConvertBalsaArtifactToPetriNetConfiguration configuration)
public void duplicatePetriNetIntoPetriNet2(Petrinet containerPn, Petrinet containedPn, TransitionId transToBeRepl)
containerPn
- containedPn
- transToBeRepl
- public org.processmining.models.graphbased.directed.petrinet.InhibitorNet getConvertedNet()
public org.processmining.models.semantics.petrinet.Marking getConvertedInitialMarking()