public class Unfolder
extends java.lang.Object
Constructor and Description |
---|
Unfolder() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args) |
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
unfold(andbur.hub.top.petrinet.PetriNet net) |
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception
public static org.processmining.models.graphbased.directed.petrinet.Petrinet unfold(andbur.hub.top.petrinet.PetriNet net) throws java.lang.Exception
java.lang.Exception