org.jbpt.petri.unfolding

Interface IBranchingProcess<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, IOrderingRelationsDescriptor<BPN,N>

All Known Subinterfaces:

ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M>, IProcess<BPN,C,E,F,N,P,T,M>

All Known Implementing Classes:

AbstractBranchingProcess, AbstractCompletePrefixUnfolding, AbstractProcess, AbstractProperCompletePrefixUnfolding, BranchingProcess, CompletePrefixUnfolding, Process, ProperCompletePrefixUnfolding, SoundUnfolding, SoundUnfoldingMSMS

public interface IBranchingProcess<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 IOrderingRelationsDescriptor<BPN,N>, Cloneable

An interface to a Branching Process of a net system (INetSystem).

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
boolean	appendCondition(C condition) Append condition to this branching process.
boolean	appendEvent(E event) Append event to this branching process.
boolean	appendTransition(T transition) Append a fresh event that corresponds to the given transition.
boolean	areMutuallyConcurrent(Collection<C> conditions)
IBranchingProcess<BPN,C,E,F,N,P,T,M>	clone()
void	constructInitialBranchingProcess() Construct initial branching process (only if this branching process is empty).
C	createCondition(P place, E event) Factory method to provide a condition of the branching process implementation.
ICoSet<BPN,C,E,F,N,P,T,M>	createCoSet() Factory method to provide a co-set of the branching process implementation.
ICut<BPN,C,E,F,N,P,T,M>	createCut() Factory method to provide a cut of the branching process implementation.
E	createEvent(T transition, ICoSet<BPN,C,E,F,N,P,T,M> preset) Factory method to provide an event of the branching process implementation.
Set<BPN>	getCausalPredecessors(BPN node) Get causal predecessors of a given node of this branching process.
Set<C>	getConditions() Get conditions of this branching process.
Set<C>	getConditions(P place) Get conditions of this branching process that correspond to a given place in the originative net system.
Set<ICut<BPN,C,E,F,N,P,T,M>>	getCuts(Collection<P> places) Get cuts of this branching process that refer to the provided collection of places.
Set<E>	getEvents() Get events of this branching process.
Set<E>	getEvents(T transition) Get events of this branching process that correspond to a given transition in the originative net system.
ICut<BPN,C,E,F,N,P,T,M>	getInitialCut() Get initial cut of this branching process, i.e., the set of condition without input events.
List<E>	getLog() Get log of events which was used to construct this branching process.
Set<C>	getMax() Get maximum, i.e., conditions without output events, of this branching process.
Set<C>	getMin() Get minimum, i.e., conditions without input events, of this branching process.
IOccurrenceNet<BPN,C,E,F,N,P,T,M>	getOccurrenceNet() Get occurrence net.
INetSystem<F,N,P,T,M>	getOriginativeNetSystem() Get originative net system of this branching process.
Set<P>	getPlaces(Collection<C> conditions) Get places of the originative net system that are associated with the given conditions.
Set<T>	getTransitions(Collection<E> events) Get transitions of the originative net system that are associated with the given events.
boolean	isConflictFree() Check if this branching process is conflict free.
boolean	isCut(Collection<C> conditions) Check if a given collection of conditions is a cut in this branching process.
boolean	isSafe() Check if this branching process is safe.
void	setNetSystem(INetSystem<F,N,P,T,M> system) Set net system of this branching process.

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

areCausal, areConcurrent, areInConflict, areInverseCausal, getOrderingRelation

Method Detail

getConditions

Set<C> getConditions()

Get conditions of this branching process.

Returns:

Conditions of this branching process.

getConditions

Set<C> getConditions(P place)

Get conditions of this branching process that correspond to a given place in the originative net system.

Returns:

Conditions of this branching process that correspond to the given place.

getEvents

Set<E> getEvents()

Get events of this branching process.

Returns:

Events of this branching process.

getEvents

Set<E> getEvents(T transition)

Get events of this branching process that correspond to a given transition in the originative net system.

Returns:

Events of this branching process that correspond to the given transition.

getOriginativeNetSystem

INetSystem<F,N,P,T,M> getOriginativeNetSystem()

Get originative net system of this branching process.

Returns:

The originative net system of this branching process.

createCondition

C createCondition(P place,
                E event)

Factory method to provide a condition of the branching process implementation.

Parameters:

place - A place.

event - An event.

Returns:

A fresh condition.

createEvent

E createEvent(T transition,
            ICoSet<BPN,C,E,F,N,P,T,M> preset)

Factory method to provide an event of the branching process implementation.

Parameters:

transition - A transition.

preset - The preset of 't'.

Returns:

A fresh event.

createCoSet

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

Factory method to provide a co-set of the branching process implementation.

Returns:

A fresh co-set.

createCut

ICut<BPN,C,E,F,N,P,T,M> createCut()

Factory method to provide a cut of the branching process implementation.

Returns:

A fresh cut.

getInitialCut

ICut<BPN,C,E,F,N,P,T,M> getInitialCut()

Get initial cut of this branching process, i.e., the set of condition without input events.

Returns:

Initial cut of this branching process.

isConflictFree

boolean isConflictFree()

Check if this branching process is conflict free. Note that a branching process contains no backward conflicts by definition. Hence, the absense of forward conflicts is checked.

Returns:

true if this branching process is conflict free; otherwise .

getCausalPredecessors

Set<BPN> getCausalPredecessors(BPN node)

Get causal predecessors of a given node of this branching process.

Parameters:

node - Node of this branching process.

Returns:

Set of all causal predecessors of the given node.

setNetSystem

void setNetSystem(INetSystem<F,N,P,T,M> system)

Set net system of this branching process. Once the new net system is set, the old branching process is cleared and the initial branching process for the new net system is constructued.

Parameters:

system - Net system to use as the originative system of this branching process.

isSafe

boolean isSafe()

Check if this branching process is safe.

Returns:

true if this branching process is safe; false otherwise.

getMin

Set<C> getMin()

Get minimum, i.e., conditions without input events, of this branching process. Note that minimum of a branching process is a cut (maximal co-set of conditions)!

Returns:

Set of conditions without input events.

getMax

Set<C> getMax()

Get maximum, i.e., conditions without output events, of this branching process. Note that maximum of a conflict-free (see IBranchingProcess.isConflictFree()) branching process is a cut (maximal co-set of conditions)!

Returns:

Set of conditions without input events.

getPlaces

Set<P> getPlaces(Collection<C> conditions)

Get places of the originative net system that are associated with the given conditions.

Parameters:

conditions - Conditions of this branching process.

Returns:

Set of places associated with the given conditions.

getTransitions

Set<T> getTransitions(Collection<E> events)

Get transitions of the originative net system that are associated with the given events.

Parameters:

events - Events of this branching process.

Returns:

Set of transitions associated with the given events.

appendCondition

boolean appendCondition(C condition)

Append condition to this branching process.

Parameters:

condition - Condition to append.

Returns:

true if condition was appended.

appendEvent

boolean appendEvent(E event)

Append event to this branching process.

Parameters:

condition - Event to append.

Returns:

true if event was appended; otherwise false.

appendTransition

boolean appendTransition(T transition)

Append a fresh event that corresponds to the given transition.

Parameters:

transition - Transition that a fresh event should refer to.

Returns:

true if event was appended; otherwise false.

constructInitialBranchingProcess

void constructInitialBranchingProcess()

Construct initial branching process (only if this branching process is empty).

getOccurrenceNet

IOccurrenceNet<BPN,C,E,F,N,P,T,M> getOccurrenceNet()

Get occurrence net.

Returns:

Occurrence net.

isCut

boolean isCut(Collection<C> conditions)

Check if a given collection of conditions is a cut in this branching process.

Parameters:

conditions - Collection of conditions.

Returns:

true if the given collection of conditions is a cut of this branching process; otherwise false.

areMutuallyConcurrent

boolean areMutuallyConcurrent(Collection<C> conditions)

getCuts

Set<ICut<BPN,C,E,F,N,P,T,M>> getCuts(Collection<P> places)

Get cuts of this branching process that refer to the provided collection of places.

Parameters:

places - Collection of places of the originative net system.

Returns:

Cuts that refer to the provided collection of places.

getLog

List<E> getLog()

Get log of events which was used to construct this branching process.

Returns:

List of events in the order they were appended to this branching process.

clone

IBranchingProcess<BPN,C,E,F,N,P,T,M> clone()