Package org.oristool.models.pn

Class Priority

java.lang.Object

org.oristool.models.pn.Priority

All Implemented Interfaces:

TransitionFeature, Feature

public final class Priority
extends Object
implements TransitionFeature

Transition feature encoding the priority used to resolve races between immediate transitions.

Constructor Summary

Constructors

Constructor	Description
Priority(int priority)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	hashCode()
static Set<Transition>	maxPriority(Collection<Transition> transitions)	Finds the subset of transitions with maximum priority.
String	toString()
int	value()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Priority

public Priority(int priority)

Method Details

value

public int value()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

maxPriority

public static Set<Transition> maxPriority(Collection<Transition> transitions)

Finds the subset of transitions with maximum priority.

Parameters:

transitions - a group of transitions

Returns:

true if the transition is enabled by the marking