public class TS2PetrinetOutput
extends java.lang.Object
| Constructor and Description |
|---|
TS2PetrinetOutput() |
| Modifier and Type | Method and Description |
|---|---|
org.processmining.models.graphbased.directed.petrinet.Petrinet |
getPetrinet() |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
setPetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet newNet) |