org.processmining.converting.epc2transitionsystem
Class EPCMarking

java.lang.Object
  extended by org.processmining.converting.epc2transitionsystem.EPCMarking

public class EPCMarking
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2006

Company:

Version:
1.0
Author:
Jan Mendling

Field Summary
static int DEAD
           
static int DEADANDWAIT
           
static int EMPTY
           
static int NEGATIVE
           
static int POSITIVE
           
static int WAIT
           
 
Constructor Summary
EPCMarking(java.util.ArrayList<EPCEdge> pT, java.util.ArrayList<EPCEdge> nT, java.util.HashMap<EPCEdge,java.lang.Integer> ct, ConfigurableEPC cE)
           
EPCMarking(ConfigurableEPC Epc, java.util.Vector<EPCEdge> negativeArcs, java.util.Vector<EPCEdge> positiveArcs)
           
 
Method Summary
 void addNegative(EPCEdge edge)
           
 void addPositive(EPCEdge edge)
           
 void addToTransitionSystem(TransitionSystem TS, EPCMarking previousMarking, EPCObject firingNode)
           
 EPCMarking clone()
           
 java.lang.String ContextToString()
           
 void fireNegative(EPCObject node)
           
 java.util.ArrayList<EPCMarking> firePositive(EPCObject node, TransitionSystem TS, EPCMarking old)
           
 int getState(EPCEdge Edge)
           
 boolean isFinalMarking()
           
 java.util.ArrayList<EPCMarking> nextMarkings(TransitionSystem TS)
           
 void propagateDeadThenWaitContext()
           
 void propagateNegativeTokens()
           
 java.util.ArrayList<EPCMarking> propagatePositiveTokens(TransitionSystem TS, EPCMarking old)
           
 void removeNegative(EPCEdge edge)
           
 void removePositive(EPCEdge edge)
           
 void setDeadContext(EPCEdge Edge)
           
 void setWaitContext(EPCEdge Edge)
           
 java.util.HashSet<java.lang.String> toHashSet()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

DEAD

public static final int DEAD
See Also:
Constant Field Values

WAIT

public static final int WAIT
See Also:
Constant Field Values

DEADANDWAIT

public static final int DEADANDWAIT
See Also:
Constant Field Values

POSITIVE

public static final int POSITIVE
See Also:
Constant Field Values

NEGATIVE

public static final int NEGATIVE
See Also:
Constant Field Values

EMPTY

public static final int EMPTY
See Also:
Constant Field Values
Constructor Detail

EPCMarking

public EPCMarking(ConfigurableEPC Epc,
                  java.util.Vector<EPCEdge> negativeArcs,
                  java.util.Vector<EPCEdge> positiveArcs)

EPCMarking

public EPCMarking(java.util.ArrayList<EPCEdge> pT,
                  java.util.ArrayList<EPCEdge> nT,
                  java.util.HashMap<EPCEdge,java.lang.Integer> ct,
                  ConfigurableEPC cE)
Method Detail

nextMarkings

public java.util.ArrayList<EPCMarking> nextMarkings(TransitionSystem TS)

propagateDeadThenWaitContext

public void propagateDeadThenWaitContext()

propagateNegativeTokens

public void propagateNegativeTokens()

propagatePositiveTokens

public java.util.ArrayList<EPCMarking> propagatePositiveTokens(TransitionSystem TS,
                                                               EPCMarking old)

setDeadContext

public void setDeadContext(EPCEdge Edge)

setWaitContext

public void setWaitContext(EPCEdge Edge)

removeNegative

public void removeNegative(EPCEdge edge)

removePositive

public void removePositive(EPCEdge edge)

addNegative

public void addNegative(EPCEdge edge)

addPositive

public void addPositive(EPCEdge edge)

getState

public int getState(EPCEdge Edge)

fireNegative

public void fireNegative(EPCObject node)

firePositive

public java.util.ArrayList<EPCMarking> firePositive(EPCObject node,
                                                    TransitionSystem TS,
                                                    EPCMarking old)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

ContextToString

public java.lang.String ContextToString()

toHashSet

public java.util.HashSet<java.lang.String> toHashSet()

isFinalMarking

public boolean isFinalMarking()

addToTransitionSystem

public void addToTransitionSystem(TransitionSystem TS,
                                  EPCMarking previousMarking,
                                  EPCObject firingNode)

clone

public EPCMarking clone()
Overrides:
clone in class java.lang.Object