org.processmining.expts

Class SynthesizeNetsL

java.lang.Object

org.processmining.expts.SynthesizeNetsL

public class SynthesizeNetsL
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
SynthesizeNetsL()

Method Summary

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)

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

SynthesizeNetsL

public SynthesizeNetsL()

Method Detail

addParallelPlace

public static void addParallelPlace(InteractivePetriNetL ipn)

addChoiceTran

public static void addChoiceTran(InteractivePetriNetL ipn)

addSequence

public static void addSequence(InteractivePetriNetL ipn,
                               java.lang.Integer seqId)