public class BaselineRepresentativeUntangling extends AbstractBaselineRepresentativeUntangling<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>
INetSystem).cyclic, processes, reducedProcesses, reducedSys, runs, safe, setup, significantRunCounter, sys, time, torLeaves, torRoot| Constructor and Description |
|---|
BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys) |
BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys,
UntanglingSetup setup) |
constructRunsconstructProcesses, createProcess, createRun, createUntanglingRun, getMaximalSignificantRuns, getNumberOfSignificantRuns, getProcesses, getReducedNetSystem, getReducedProcesses, getTime, isDeadlockFree, isNonSinkDeadlockFree, isSafe, isSignificant, isSignificantCubic, prune, reduceSubruns, serializeProcesses, serializeReducedProcessespublic BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys, UntanglingSetup setup)
public BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys)
Copyright © 2017. All rights reserved.