org.jbpt.petri.untangling

Class BaselineRepresentativeUntangling

java.lang.Object

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

org.jbpt.petri.untangling.AbstractBaselineRepresentativeUntangling<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

org.jbpt.petri.untangling.BaselineRepresentativeUntangling

public class BaselineRepresentativeUntangling
extends AbstractBaselineRepresentativeUntangling<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

An 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
BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys)
BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys, UntanglingSetup setup)

Method Summary

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

constructRuns

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

BaselineRepresentativeUntangling

public BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys,
                                UntanglingSetup setup)

BaselineRepresentativeUntangling

public BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys)