org.processmining.prabhakardixit.fcnets.synthesis

Class VizToPnetMapper

java.lang.Object

org.processmining.prabhakardixit.fcnets.synthesis.VizToPnetMapper

public class VizToPnetMapper
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	log

Constructor Summary

Constructors

Constructor and Description
VizToPnetMapper()

Method Summary

Modifier and Type	Method and Description
static void	addChoiceTransition(java.util.Set<java.lang.Integer> inputNodeID, java.util.Set<java.lang.Integer> outputNodeID, java.lang.String activity, InteractivePetriNet ipn, int newTranID, boolean isSilent)
static void	addNewTransition(int node1ID, int node2ID, java.lang.String newTransStr, java.lang.String newPlaceStr, InteractivePetriNet ipn, boolean placeToTran, int newPlaceID, int newTranID, boolean isSilent)
static void	addNewTransition(java.util.Set<java.lang.Integer> sourceNodes, java.util.Set<java.lang.Integer> targetNodes, java.lang.String newTransStr, java.lang.String newPlaceStr, InteractivePetriNet ipn, boolean placeToTran, int newPlaceID, int newTranID, boolean isSilent)
static void	addParallelPlace(java.util.Set<java.lang.Integer> selectedInput, java.util.Set<java.lang.Integer> outputNodeID, java.lang.String newPlaceStr, InteractivePetriNet ipn, int newPlaceID)
static void	changeActivityName(java.lang.Integer id, InteractivePetriNet ipn, boolean isSilent)
static void	print()

Methods inherited from class java.lang.Object

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

Field Detail

log

public static boolean log

Constructor Detail

VizToPnetMapper

public VizToPnetMapper()

Method Detail

print

public static void print()

addNewTransition

public static void addNewTransition(int node1ID,
                                    int node2ID,
                                    java.lang.String newTransStr,
                                    java.lang.String newPlaceStr,
                                    InteractivePetriNet ipn,
                                    boolean placeToTran,
                                    int newPlaceID,
                                    int newTranID,
                                    boolean isSilent)

addParallelPlace

public static void addParallelPlace(java.util.Set<java.lang.Integer> selectedInput,
                                    java.util.Set<java.lang.Integer> outputNodeID,
                                    java.lang.String newPlaceStr,
                                    InteractivePetriNet ipn,
                                    int newPlaceID)

addChoiceTransition

public static void addChoiceTransition(java.util.Set<java.lang.Integer> inputNodeID,
                                       java.util.Set<java.lang.Integer> outputNodeID,
                                       java.lang.String activity,
                                       InteractivePetriNet ipn,
                                       int newTranID,
                                       boolean isSilent)

addNewTransition

public static void addNewTransition(java.util.Set<java.lang.Integer> sourceNodes,
                                    java.util.Set<java.lang.Integer> targetNodes,
                                    java.lang.String newTransStr,
                                    java.lang.String newPlaceStr,
                                    InteractivePetriNet ipn,
                                    boolean placeToTran,
                                    int newPlaceID,
                                    int newTranID,
                                    boolean isSilent)

changeActivityName

public static void changeActivityName(java.lang.Integer id,
                                      InteractivePetriNet ipn,
                                      boolean isSilent)