org.jbpt.petri.unfolding

Class ProperCompletePrefixUnfolding

java.lang.Object

org.jbpt.petri.unfolding.AbstractBranchingProcess<BPN,C,E,F,N,P,T,M>

org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding<BPN,C,E,F,N,P,T,M>

org.jbpt.petri.unfolding.AbstractProperCompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

org.jbpt.petri.unfolding.ProperCompletePrefixUnfolding

All Implemented Interfaces:

Cloneable, IBranchingProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>, ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>, IOrderingRelationsDescriptor<BPNode,Node>

public class ProperCompletePrefixUnfolding
extends AbstractProperCompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

Field Summary

Fields inherited from class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding

ADEQUATE_ORDER, cutoff2corr, setup, totalOrderTs

Fields inherited from class org.jbpt.petri.unfolding.AbstractBranchingProcess

ca, co, conds, events, iniBP, log, sys

Constructor Summary

Constructors

Constructor and Description
ProperCompletePrefixUnfolding()
ProperCompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys)
ProperCompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys, CompletePrefixUnfoldingSetup setup)

Method Summary

Methods inherited from class org.jbpt.petri.unfolding.AbstractProperCompletePrefixUnfolding

checkCutoffB

Methods inherited from class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding

addCutoff, checkCutoffA, constructSafe, containsPlaces, createEvent, getCorrespondingEvent, getCutoffEvents, getInitialPossibleExtensions, getOccurrenceNet, getTotalOrderOfTransitions, isCutoffEvent, isHealthyCutoffEvent, isProper

Methods inherited from class org.jbpt.petri.unfolding.AbstractBranchingProcess

appendCondition, appendEvent, appendTransition, areCausal, areConcurrent, areInConflict, areInverseCausal, areMutuallyConcurrent, clone, constructInitialBranchingProcess, createCondition, createCoSet, createCut, getCausalPredecessors, getConditions, getConditions, getCuts, getEvents, getEvents, getInitialCut, getLog, getMax, getMin, getOrderingRelation, getOriginativeNetSystem, getPlaces, getTransitions, initialize, isConflictFree, isCut, isSafe, setNetSystem, updateCausalityCondition

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jbpt.petri.unfolding.IBranchingProcess

appendCondition, appendEvent, appendTransition, areMutuallyConcurrent, clone, constructInitialBranchingProcess, createCondition, createCoSet, createCut, getCausalPredecessors, getConditions, getConditions, getCuts, getEvents, getEvents, getInitialCut, getLog, getMax, getMin, getOriginativeNetSystem, getPlaces, getTransitions, isConflictFree, isCut, isSafe, setNetSystem

Methods inherited from interface org.jbpt.petri.unfolding.IOrderingRelationsDescriptor

areCausal, areConcurrent, areInConflict, areInverseCausal, getOrderingRelation

Constructor Detail

ProperCompletePrefixUnfolding

public ProperCompletePrefixUnfolding()

ProperCompletePrefixUnfolding

public ProperCompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys,
                             CompletePrefixUnfoldingSetup setup)

ProperCompletePrefixUnfolding

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