org.yawlfoundation.yawl.elements.e2wfoj

Class E2WFOJNet

java.lang.Object

org.yawlfoundation.yawl.elements.e2wfoj.E2WFOJNet

public final class E2WFOJNet
extends java.lang.Object

A Reset net formalisation of a YAWL net.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
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.