Package org.bigraphs.framework.simulation.equivalence

Class WeakBisimulationMixinImpl

java.lang.Object

org.bigraphs.framework.simulation.equivalence.WeakBisimulationMixinImpl

public class WeakBisimulationMixinImpl
extends Object

This class provides the implementation of the interface BehavioralEquivalenceMixin for the bisimulation equivalence relation. It's a mixin implementation essentially providing the implementation of

invalid reference

#isEquivalentTo

. "Wrapper" classes of implementations of AbstractTransitionSystem can introduce this new behavior via this mixin.

Bisimulation is an equivalence between two systems, which states "that whatever series of visible actions one LTS may perform, the other may match." [1] Bisimilar systems have equal behavior, thus, can be replaced with each other.

Weak: tau transitions are discarded (i.e., invisible, internal actions are omitted).

This mixin implementation delegates the computation to the BisimulationCheckerSupport class.

Author:

Dominik Grzelak

See Also:

• "[1] [DaKT07] Danos, Vincent ; Krivine, Jean ; Tarissan, Fabien: Self-assembling Trees. In: Electronic Notes in Theoretical Computer Science, Proceedings of the Third Workshop on Structural Operational Semantics (SOS 2006). Bd. 175 (2007), Nr. 1, S. 19–32"

Constructor Summary

Constructors

Constructor	Description
WeakBisimulationMixinImpl()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Details

WeakBisimulationMixinImpl

public WeakBisimulationMixinImpl()