org.processmining.converting.epc2transitionsystem
Class EPCMarking
java.lang.Object
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
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
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)
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