Package org.bigraphs.framework.simulation.equivalence

Class BisimulationMixinImpl<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>

java.lang.Object

org.bigraphs.framework.simulation.equivalence.BisimulationMixinImpl<B,AST>

Type Parameters:

B - state type used by AST

AST - transition-system type (states are bigraphs of type B; transitions are BMatchResult<B>)

All Implemented Interfaces:

BehavioralEquivalenceMixin<AST>

public class BisimulationMixinImpl<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>
extends Object
implements BehavioralEquivalenceMixin<AST>

Bisimulation checks whether two labeled transition systems exhibit the same behavior: every sequence of visible actions in one system can be matched by the other.

Strong bisimulation: all actions are observable.
Weak bisimulation: τ (tau) transitions are internal and abstracted away.

Author:

Dominik Grzelak

Nested Class Summary

Nested classes/interfaces inherited from interface org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin

BehavioralEquivalenceMixin.EquivalenceAlgorithm

Constructor Summary

Constructors

Constructor	Description
BisimulationMixinImpl()

Method Summary

Modifier and Type	Method	Description
void	attachToTransitionSystem(AST transitionSystem)	Attaches this object to the given transition system.
BehavioralEquivalenceMixin.EquivalenceAlgorithm	getBisimType()
boolean	isEquivalentTo(AST transitionSystem2)	Returns whether this object is equivalent to the given transition system.
void	setBisimType(BehavioralEquivalenceMixin.EquivalenceAlgorithm defaultBisimAlgo)

Methods inherited from class java.lang.Object

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

Constructor Details

BisimulationMixinImpl

public BisimulationMixinImpl()

Method Details

isEquivalentTo

public boolean isEquivalentTo(AST transitionSystem2)

Description copied from interface: BehavioralEquivalenceMixin

Returns whether this object is equivalent to the given transition system.

Equivalence check depends on the BehavioralEquivalenceMixin.EquivalenceAlgorithm.

Specified by:

isEquivalentTo in interface BehavioralEquivalenceMixin<B extends Bigraph<? extends Signature<?>>>

Parameters:

transitionSystem2 - the transition system to compare against

Returns:

true if equivalent; false otherwise

attachToTransitionSystem

public void attachToTransitionSystem(AST transitionSystem)

Description copied from interface: BehavioralEquivalenceMixin

Attaches this object to the given transition system.

Specified by:

attachToTransitionSystem in interface BehavioralEquivalenceMixin<B extends Bigraph<? extends Signature<?>>>

Parameters:

transitionSystem - the transition system to attach to

getBisimType

public BehavioralEquivalenceMixin.EquivalenceAlgorithm getBisimType()

setBisimType

public void setBisimType(BehavioralEquivalenceMixin.EquivalenceAlgorithm defaultBisimAlgo)