org.jbpt.petri.unfolding

Class SoundUnfoldingMSMS

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

org.jbpt.petri.unfolding.SoundUnfoldingMSMS

All Implemented Interfaces:

Cloneable, IBranchingProcess, ICompletePrefixUnfolding, IOrderingRelationsDescriptor

public class SoundUnfoldingMSMS
extends SoundUnfolding

Unfolding for soundness checks (multi-source-multi-sink nets)

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

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

SoundUnfoldingMSMS

public SoundUnfoldingMSMS()