org.jbpt.petri.untangling

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

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>

Direct Known Subclasses:

AbstractReductionBasedRepresentativeUntangling, BaselineRepresentativeUntangling

public 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>>
extends AbstractRepresentativeUntangling<BPN,C,E,F,N,P,T,M>

An abstract implementation of the baseline 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
AbstractBaselineRepresentativeUntangling(INetSystem<F,N,P,T,M> sys) Constructor of a representative untangling.
AbstractBaselineRepresentativeUntangling(INetSystem<F,N,P,T,M> sys, UntanglingSetup setup)

Method Summary

Methods

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

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

constructProcesses, createProcess, createRun, createUntanglingRun, getMaximalSignificantRuns, getNumberOfSignificantRuns, getProcesses, getReducedNetSystem, getReducedProcesses, getTime, isDeadlockFree, isNonSinkDeadlockFree, 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

AbstractBaselineRepresentativeUntangling

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

AbstractBaselineRepresentativeUntangling

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

Constructor of a representative untangling.

Parameters:

sys - Net system to untangle.

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

Parameters:

system - A net system.