public class SynthesizeNets
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
placeCount |
static int |
tranCount |
Constructor and Description |
---|
SynthesizeNets() |
Modifier and Type | Method and Description |
---|---|
static void |
addChoiceTran(InteractivePetriNet ipn) |
static void |
addFirstActAsSequence(InteractivePetriNet ipn,
java.lang.String actName) |
static void |
addParallelPlace(InteractivePetriNet ipn) |
public static void addParallelPlace(InteractivePetriNet ipn)
public static void addChoiceTran(InteractivePetriNet ipn)
public static void addFirstActAsSequence(InteractivePetriNet ipn, java.lang.String actName)