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 |
addParallelPlace(InteractivePetriNet ipn) |
static void |
addSequence(InteractivePetriNet ipn,
int seqId) |
public static void addParallelPlace(InteractivePetriNet ipn)
public static void addChoiceTran(InteractivePetriNet ipn)
public static void addSequence(InteractivePetriNet ipn, int seqId)