org.jbpt.petri.unfolding

Interface ICompletePrefixUnfolding<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>>

All Superinterfaces:

Cloneable, IBranchingProcess<BPN,C,E,F,N,P,T,M>, IOrderingRelationsDescriptor<BPN,N>

All Known Implementing Classes:

AbstractCompletePrefixUnfolding, AbstractProperCompletePrefixUnfolding, CompletePrefixUnfolding, ProperCompletePrefixUnfolding, SoundUnfolding, SoundUnfoldingMSMS

public interface ICompletePrefixUnfolding<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 IBranchingProcess<BPN,C,E,F,N,P,T,M>

Interface to a complete prefix unfolding.

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
E	getCorrespondingEvent(E event) Get a corresponding event of a given cutoff event.
Set<E>	getCutoffEvents() Get cutoff events of this complete prefix unfolding.
List<T>	getTotalOrderOfTransitions() Get total order of transitions used to construct this complete prefix unfolding.
boolean	isCutoffEvent(E event) Check if a given event is a cutoff event in this complete prefix unfolding.
boolean	isHealthyCutoffEvent(E event)
boolean	isProper()

Methods inherited from interface org.jbpt.petri.unfolding.IBranchingProcess

appendCondition, appendEvent, appendTransition, areMutuallyConcurrent, clone, constructInitialBranchingProcess, createCondition, createCoSet, createCut, createEvent, getCausalPredecessors, getConditions, getConditions, getCuts, getEvents, getEvents, getInitialCut, getLog, getMax, getMin, getOccurrenceNet, getOriginativeNetSystem, getPlaces, getTransitions, isConflictFree, isCut, isSafe, setNetSystem

Methods inherited from interface org.jbpt.petri.unfolding.IOrderingRelationsDescriptor

areCausal, areConcurrent, areInConflict, areInverseCausal, getOrderingRelation

Method Detail

getCutoffEvents

Set<E> getCutoffEvents()

Get cutoff events of this complete prefix unfolding.

Returns:

Cutoff events of this complete prefix unfolding.

isCutoffEvent

boolean isCutoffEvent(E event)

Check if a given event is a cutoff event in this complete prefix unfolding.

Parameters:

event - Event of this complete prefix unfolding.

Returns:

true if 'event' is a cutoff event; otherwise false.

getCorrespondingEvent

E getCorrespondingEvent(E event)

Get a corresponding event of a given cutoff event.

Parameters:

event - A cutoff event of this complete prefix unfolding.

Returns:

Corresponding event of 'event'; null if 'event' is not a cutoff event.

getTotalOrderOfTransitions

List<T> getTotalOrderOfTransitions()

Get total order of transitions used to construct this complete prefix unfolding.

Returns:

Ordered list of transitions of the originative system which was used to construct this complete prefix unfolding.

isHealthyCutoffEvent

boolean isHealthyCutoffEvent(E event)

isProper

boolean isProper()