public class ShortCircuitedNetConnection
extends org.processmining.framework.connections.impl.AbstractConnection
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
FINALMARKING |
static java.lang.String |
NET |
static java.lang.String |
SCNET |
Constructor and Description |
---|
ShortCircuitedNetConnection(PetrinetGraph net,
PetrinetGraph sCNet,
Marking finalMarking) |
public static final java.lang.String NET
public static final java.lang.String SCNET
public static final java.lang.String FINALMARKING
public ShortCircuitedNetConnection(PetrinetGraph net, PetrinetGraph sCNet, Marking finalMarking)