org.jbpt.petri.unfolding

Class CompletePrefixUnfolding

java.lang.Object

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

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

org.jbpt.petri.unfolding.CompletePrefixUnfolding

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

An implementation of a complete prefix unfloding of a net system.

Author:

Artem Polyvyanyy

See Also:

AbstractCompletePrefixUnfolding} for details.

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
CompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys)
CompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys, CompletePrefixUnfoldingSetup setup)

Method Summary

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

addCutoff, checkCutoffA, checkCutoffB, 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

CompletePrefixUnfolding

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

CompletePrefixUnfolding

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