public class SynthesizeNetsL
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
placeCount |
static int |
tranCount |
Constructor and Description |
---|
SynthesizeNetsL() |
Modifier and Type | Method and Description |
---|---|
static void |
addChoiceTran(InteractivePetriNetL ipn) |
static void |
addParallelPlace(InteractivePetriNetL ipn) |
static void |
addSequence(InteractivePetriNetL ipn,
java.lang.Integer seqId) |
public static void addParallelPlace(InteractivePetriNetL ipn)
public static void addChoiceTran(InteractivePetriNetL ipn)
public static void addSequence(InteractivePetriNetL ipn, java.lang.Integer seqId)