org.jbpt.petri.unfolding

Class AbstractEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

java.lang.Object

org.jbpt.hypergraph.abs.GObject

org.jbpt.hypergraph.abs.Vertex

org.jbpt.petri.unfolding.AbstractBPNode<N>

org.jbpt.petri.unfolding.AbstractEvent<BPN,C,E,F,N,P,T,M>

All Implemented Interfaces:

Cloneable, Comparable<IGObject>, IEntity, IGObject, IVertex, IBPNode<N>, IEvent<BPN,C,E,F,N,P,T,M>

Direct Known Subclasses:

Event

public abstract class AbstractEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
extends AbstractBPNode<N>
implements IEvent<BPN,C,E,F,N,P,T,M>

Field Summary

Fields inherited from class org.jbpt.petri.unfolding.AbstractBPNode

ID

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractEvent()
	AbstractEvent(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu, T transition, ICoSet<BPN,C,E,F,N,P,T,M> preset) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object that)
ILocalConfiguration<BPN,C,E,F,N,P,T,M>	getLocalConfiguration()
String	getName()
N	getPetriNetNode() Get a Petri net node associated with this node of a branching process.
ICoSet<BPN,C,E,F,N,P,T,M>	getPostConditions() Get post conditions of this event.
ICoSet<BPN,C,E,F,N,P,T,M>	getPreConditions() Get preconditions of this event.
T	getTransition() Get the transition that corresponds to this event.
int	hashCode()
boolean	isCondition() Check if this node is condition.
boolean	isEvent() Check if this node is event.
void	setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)
void	setPostConditions(ICoSet<BPN,C,E,F,N,P,T,M> postConditions)
void	setPreConditions(ICoSet<BPN,C,E,F,N,P,T,M> preConditions)
void	setTransition(T transition)
String	toString()

Methods inherited from class org.jbpt.petri.unfolding.AbstractBPNode

getLabel

Methods inherited from class org.jbpt.hypergraph.abs.Vertex

getHeight, getWidth, getX, getY, setHeight, setLayout, setLocation, setSize, setWidth, setX, setY

Methods inherited from class org.jbpt.hypergraph.abs.GObject

clone, compareTo, getDescription, getId, getTag, setDescription, setId, setName, setTag

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jbpt.hypergraph.abs.IVertex

getHeight, getWidth, getX, getY, setHeight, setLayout, setLocation, setSize, setWidth, setX, setY

Methods inherited from interface org.jbpt.hypergraph.abs.IGObject

getDescription, getId, getTag, setDescription, setId, setName, setTag

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.jbpt.hypergraph.abs.IEntity

clone, getLabel

Constructor Detail

AbstractEvent

protected AbstractEvent()

AbstractEvent

public AbstractEvent(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu,
             T transition,
             ICoSet<BPN,C,E,F,N,P,T,M> preset)

Constructor.

Parameters:

unf - Reference to the unfolding.

transition - Transition whose occurrence is represented by this event.

preset - Preset of conditions which caused this event to occur.

Method Detail

getPostConditions

public ICoSet<BPN,C,E,F,N,P,T,M> getPostConditions()

Description copied from interface: IEvent

Get post conditions of this event.

Specified by:

getPostConditions in interface IEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Returns:

Post conditions.

getTransition

public T getTransition()

Description copied from interface: IEvent

Get the transition that corresponds to this event.

Specified by:

getTransition in interface IEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Returns:

Corresponding transition.

getPreConditions

public ICoSet<BPN,C,E,F,N,P,T,M> getPreConditions()

Description copied from interface: IEvent

Get preconditions of this event.

Specified by:

getPreConditions in interface IEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Returns:

Preconditions.

toString

public String toString()

Overrides:

toString in class GObject

getName

public String getName()

Specified by:

getName in interface IGObject

Overrides:

getName in class GObject

equals

public boolean equals(Object that)

Overrides:

equals in class GObject

hashCode

public int hashCode()

Overrides:

hashCode in class GObject

getPetriNetNode

public N getPetriNetNode()

Description copied from interface: IBPNode

Get a Petri net node associated with this node of a branching process.

Specified by:

getPetriNetNode in interface IBPNode<N extends INode>

Returns:

A Petri net node of the originative net system associated with this node in the given branching process.

isEvent

public boolean isEvent()

Description copied from interface: IBPNode

Check if this node is event.

Specified by:

isEvent in interface IBPNode<N extends INode>

Returns:

true if this node is event; otherwise false.

isCondition

public boolean isCondition()

Description copied from interface: IBPNode

Check if this node is condition.

Specified by:

isCondition in interface IBPNode<N extends INode>

Returns:

true if this node is condition; otherwise false.

setTransition

public void setTransition(T transition)

Specified by:

setTransition in interface IEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

setPreConditions

public void setPreConditions(ICoSet<BPN,C,E,F,N,P,T,M> preConditions)

Specified by:

setPreConditions in interface IEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

setPostConditions

public void setPostConditions(ICoSet<BPN,C,E,F,N,P,T,M> postConditions)

Specified by:

setPostConditions in interface IEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getLocalConfiguration

public ILocalConfiguration<BPN,C,E,F,N,P,T,M> getLocalConfiguration()

Specified by:

getLocalConfiguration in interface IEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

setCompletePrefixUnfolding

public void setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)

Specified by:

setCompletePrefixUnfolding in interface IEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>