public class DNode2Petrinet
extends java.lang.Object
Petrinet for
viewing and manipulating in a graphical editor.| Constructor and Description |
|---|
DNode2Petrinet() |
| Modifier and Type | Method and Description |
|---|---|
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
process(hub.top.uma.DNodeBP bp,
boolean skipHotAnti) |
public static org.processmining.models.graphbased.directed.petrinet.Petrinet process(hub.top.uma.DNodeBP bp,
boolean skipHotAnti)
bp - skipHotAnti - do not translate any hot anti nodePetrinet net, Marking initMarking] representing
the branching process bp as a Petri net and its initial marking