public class ProMJBPTPetriNet
extends java.lang.Object
Constructor and Description |
---|
ProMJBPTPetriNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
Modifier and Type | Method and Description |
---|---|
org.jbpt.petri.PetriNet |
getJbpt() |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
getProm() |
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
jbpt2PromArc(org.jbpt.petri.Flow jbptArc) |
org.processmining.models.graphbased.directed.petrinet.PetrinetNode |
jbpt2PromNode(org.jbpt.petri.Node jbptNode) |
public ProMJBPTPetriNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public org.processmining.models.graphbased.directed.petrinet.Petrinet getProm()
public org.jbpt.petri.PetriNet getJbpt()
public org.processmining.models.graphbased.directed.petrinet.PetrinetNode jbpt2PromNode(org.jbpt.petri.Node jbptNode)
public org.processmining.models.graphbased.directed.petrinet.elements.Arc jbpt2PromArc(org.jbpt.petri.Flow jbptArc)