org.jbpt.petri.untangling

Class AbstractReductionBasedRepresentativeUntangling<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.untangling.AbstractRepresentativeUntangling<BPN,C,E,F,N,P,T,M>

org.jbpt.petri.untangling.AbstractBaselineRepresentativeUntangling<BPN,C,E,F,N,P,T,M>

org.jbpt.petri.untangling.AbstractReductionBasedRepresentativeUntangling<BPN,C,E,F,N,P,T,M>

Direct Known Subclasses:

ReductionBasedRepresentativeUntangling

public class AbstractReductionBasedRepresentativeUntangling<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 AbstractBaselineRepresentativeUntangling<BPN,C,E,F,N,P,T,M>

An abstract implementation of the reduction-based algorithm for computing representative untanglings of net systems (INetSystem).

Author:

Artem Polyvyanyy

Field Summary

Fields inherited from class org.jbpt.petri.untangling.AbstractRepresentativeUntangling

cyclic, processes, reducedProcesses, reducedSys, runs, safe, setup, significantRunCounter, sys, time, torLeaves, torRoot

Constructor Summary

Constructors

Constructor and Description
AbstractReductionBasedRepresentativeUntangling(INetSystem<F,N,P,T,M> sys) Constructor of a representative untangling.
AbstractReductionBasedRepresentativeUntangling(INetSystem<F,N,P,T,M> sys, UntanglingSetup setup)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	constructProcesses()
protected void	constructRuns(INetSystem<F,N,P,T,M> system) Construct maximal repetition significant runs of a given net system.
boolean	isNonSinkDeadlockFree()
protected Map<F,List<N>>	reduce(INetSystem<F,N,P,T,M> system)

Methods inherited from class org.jbpt.petri.untangling.AbstractRepresentativeUntangling

createProcess, createRun, createUntanglingRun, getMaximalSignificantRuns, getNumberOfSignificantRuns, getProcesses, getReducedNetSystem, getReducedProcesses, getTime, isDeadlockFree, isSafe, isSignificant, isSignificantCubic, prune, reduceSubruns, serializeProcesses, serializeReducedProcesses

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractReductionBasedRepresentativeUntangling

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

Constructor of a representative untangling.

Parameters:

sys - A net system to untangle.

AbstractReductionBasedRepresentativeUntangling

public AbstractReductionBasedRepresentativeUntangling(INetSystem<F,N,P,T,M> sys,
                                              UntanglingSetup setup)

Method Detail

constructRuns

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

Description copied from class: AbstractRepresentativeUntangling

Construct maximal repetition significant runs of a given net system.

Overrides:

constructRuns in class AbstractBaselineRepresentativeUntangling<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>>

Parameters:

system - A net system.

constructProcesses

protected void constructProcesses()

Overrides:

constructProcesses in class AbstractRepresentativeUntangling<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>>

reduce

protected Map<F,List<N>> reduce(INetSystem<F,N,P,T,M> system)

isNonSinkDeadlockFree

public boolean isNonSinkDeadlockFree()

Overrides:

isNonSinkDeadlockFree in class AbstractRepresentativeUntangling<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>>