org.jbpt.petri.unfolding

Class BranchingProcess

java.lang.Object

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

org.jbpt.petri.unfolding.BranchingProcess

All Implemented Interfaces:

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

public class BranchingProcess
extends AbstractBranchingProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

Field Summary

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

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

Constructor Summary

Constructors

Constructor and Description
BranchingProcess()

Method Summary

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

appendCondition, appendEvent, appendTransition, areCausal, areConcurrent, areInConflict, areInverseCausal, areMutuallyConcurrent, clone, constructInitialBranchingProcess, createCondition, createCoSet, createCut, createEvent, getCausalPredecessors, getConditions, getConditions, getCuts, getEvents, getEvents, getInitialCut, getLog, getMax, getMin, getOccurrenceNet, 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

Constructor Detail

BranchingProcess

public BranchingProcess()