org.yawlfoundation.yawl.elements.e2wfoj
Class E2WFOJNet

java.lang.Object
  extended by org.yawlfoundation.yawl.elements.e2wfoj.E2WFOJNet

public final class E2WFOJNet
extends Object

A Reset net formalisation of a YAWL net.


Constructor Summary
E2WFOJNet(YNet yNet, YTask orJoin)
          Constructor for Reset net.
 
Method Summary
 boolean orJoinEnabled(YMarking M, YTask orJoin)
          This method is used to determine whether an OrJoin task of a YAWL net should be enabled at a given marking.
 void restrictNet(YMarking M)
          This method is used to perform active projection restriction.
 void restrictNet(YTask j)
          Perform structural restriction of a reset net.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

E2WFOJNet

public E2WFOJNet(YNet yNet,
                 YTask orJoin)
Constructor for Reset net.

Method Detail

restrictNet

public void restrictNet(YTask j)
Perform structural restriction of a reset net.


restrictNet

public void restrictNet(YMarking M)
This method is used to perform active projection restriction.


orJoinEnabled

public boolean orJoinEnabled(YMarking M,
                             YTask orJoin)
This method is used to determine whether an OrJoin task of a YAWL net should be enabled at a given marking. The method returns TRUE if an OrJoin should be enabled at the given marking and FALSE, otherwise.



Copyright © 2004-2012 The YAWL Foundation.