org.processmining.hybrid.models.markedprocesstree

Class MarkedProcessTree

java.lang.Object

org.processmining.hybrid.models.markedprocesstree.MarkedProcessTree

public class MarkedProcessTree
extends java.lang.Object

Assumption, we cannot have redundant taus, e.g., a sequence with a tau child

Author:

D.M.M. Schunselaar

Constructor Summary

Constructors

Constructor and Description
MarkedProcessTree(org.processmining.processtree.ProcessTree tree)

Method Summary

Modifier and Type	Method and Description
boolean	canBeNext(org.processmining.processtree.Task t)
boolean	canTerminate()
void	clearMarking()
org.processmining.processtree.Task	getTask(java.lang.String name)
void	nextMarking(org.processmining.processtree.Task t)

Methods inherited from class java.lang.Object

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

Constructor Detail

MarkedProcessTree

public MarkedProcessTree(org.processmining.processtree.ProcessTree tree)

Method Detail

getTask

public org.processmining.processtree.Task getTask(java.lang.String name)

nextMarking

public void nextMarking(org.processmining.processtree.Task t)

clearMarking

public void clearMarking()

canBeNext

public boolean canBeNext(org.processmining.processtree.Task t)

canTerminate

public boolean canTerminate()