Class WeakBisimulationMixinImpl
java.lang.Object
org.bigraphs.framework.simulation.equivalence.WeakBisimulationMixinImpl
This class provides the implementation of the interface
.
"Wrapper" classes of implementations of
BehavioralEquivalenceMixin for the bisimulation equivalence relation.
It's a mixin implementation essentially providing the implementation of
invalid reference
#isEquivalentTo
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:
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
WeakBisimulationMixinImpl
public WeakBisimulationMixinImpl()
-