org.jbpt.petri.untangling

Class ReductionBasedRepresentativeUntangling

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<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

org.jbpt.petri.untangling.ReductionBasedRepresentativeUntangling

public class ReductionBasedRepresentativeUntangling
extends AbstractReductionBasedRepresentativeUntangling<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

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

Method Summary

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

constructProcesses, constructRuns, isNonSinkDeadlockFree, reduce

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

ReductionBasedRepresentativeUntangling

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

ReductionBasedRepresentativeUntangling

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