org.jbpt.petri.unfolding

Class AbstractProperCompletePrefixUnfolding<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.petri.unfolding.AbstractBranchingProcess<BPN,C,E,F,N,P,T,M>

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

ProperCompletePrefixUnfolding, SoundUnfolding

public abstract class AbstractProperCompletePrefixUnfolding<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 AbstractCompletePrefixUnfolding<BPN,C,E,F,N,P,T,M>

Proper complete prefix unfolding.

Author:

Artem Polyvyanyy

Field Summary

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

ADEQUATE_ORDER, cutoff2corr, setup, totalOrderTs

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

ca, co, conds, events, iniBP, log, sys

Constructor Summary

Constructors

Constructor and Description
AbstractProperCompletePrefixUnfolding()
AbstractProperCompletePrefixUnfolding(INetSystem<F,N,P,T,M> sys)
AbstractProperCompletePrefixUnfolding(INetSystem<F,N,P,T,M> sys, CompletePrefixUnfoldingSetup setup)

Method Summary

Methods

Modifier and Type	Method and Description
protected E	checkCutoffB(E e, E corr) Check healthy property

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

addCutoff, checkCutoffA, constructSafe, containsPlaces, createEvent, getCorrespondingEvent, getCutoffEvents, getInitialPossibleExtensions, getOccurrenceNet, getTotalOrderOfTransitions, isCutoffEvent, isHealthyCutoffEvent, isProper

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

appendCondition, appendEvent, appendTransition, areCausal, areConcurrent, areInConflict, areInverseCausal, areMutuallyConcurrent, clone, constructInitialBranchingProcess, createCondition, createCoSet, createCut, getCausalPredecessors, getConditions, getConditions, getCuts, getEvents, getEvents, getInitialCut, getLog, getMax, getMin, getOrderingRelation, getOriginativeNetSystem, getPlaces, getTransitions, initialize, isConflictFree, isCut, isSafe, setNetSystem, updateCausalityCondition

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

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

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

areCausal, areConcurrent, areInConflict, areInverseCausal, getOrderingRelation

Constructor Detail

AbstractProperCompletePrefixUnfolding

public AbstractProperCompletePrefixUnfolding()

AbstractProperCompletePrefixUnfolding

public AbstractProperCompletePrefixUnfolding(INetSystem<F,N,P,T,M> sys,
                                     CompletePrefixUnfoldingSetup setup)

AbstractProperCompletePrefixUnfolding

public AbstractProperCompletePrefixUnfolding(INetSystem<F,N,P,T,M> sys)

Method Detail

checkCutoffB

protected E checkCutoffB(E e,
             E corr)

Check healthy property

Overrides:

checkCutoffB in class AbstractCompletePrefixUnfolding<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>>