org.processmining.experiments

Class SynthesizeNets

java.lang.Object

org.processmining.experiments.SynthesizeNets

public class SynthesizeNets
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	placeCount
static int	tranCount

Constructor Summary

Constructors

Constructor and Description
SynthesizeNets()

Method Summary

Modifier and Type	Method and Description
static void	addChoiceTran(InteractivePetriNet ipn)
static void	addParallelPlace(InteractivePetriNet ipn)
static void	addSequence(InteractivePetriNet ipn, int seqId)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

tranCount

public static int tranCount

placeCount

public static int placeCount

Constructor Detail

SynthesizeNets

public SynthesizeNets()

Method Detail

addParallelPlace

public static void addParallelPlace(InteractivePetriNet ipn)

addChoiceTran

public static void addChoiceTran(InteractivePetriNet ipn)

addSequence

public static void addSequence(InteractivePetriNet ipn,
                               int seqId)