org.jbpt.petri.unfolding

Class SoundUnfolding

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

org.jbpt.petri.unfolding.SoundUnfolding

All Implemented Interfaces:

Cloneable, IBranchingProcess, ICompletePrefixUnfolding, IOrderingRelationsDescriptor

Direct Known Subclasses:

SoundUnfoldingMSMS

public class SoundUnfolding
extends AbstractProperCompletePrefixUnfolding

Unfolding for soundness checks Proof of concept - must be improved

Author:

Artem Polyvyanyy

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
SoundUnfolding()

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

SoundUnfolding

public SoundUnfolding()