Class StrongBisimulationMixinImpl<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>
- Type Parameters:
AST
- type of the transition system (states are bigraphs of type B, transition of type BMatchResult)B
- type of the states of AST
- All Implemented Interfaces:
BehavioralEquivalenceMixin<AST>
This class provides the implementation of the interface BehavioralEquivalenceMixin
for the bisimulation
equivalence checking routine.
It's a mixin implementation essentially providing the implementation of isEquivalentTo(AST)
.
Via this mixin this new behavior can be introduced into specific sub-classes of
AbstractTransitionSystem
by extending them like a "wrapper"
and adding the new method isEquivalentTo(AST)
.
Checking bisimulation between two systems 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.
Strong: All actions are visible.
This mixin implementation delegates the computation to the BisimulationCheckerSupport
class,
which contains several algorithms.
- 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"
-
Nested Class Summary
Nested classes/interfaces inherited from interface org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin
BehavioralEquivalenceMixin.Algorithms
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
attachToObject
(AST transitionSystem) boolean
isEquivalentTo
(AST transitionSystem2) void
setDefaultBisimAlgo
(BehavioralEquivalenceMixin.Algorithms defaultBisimAlgo)
-
Constructor Details
-
StrongBisimulationMixinImpl
public StrongBisimulationMixinImpl()
-
-
Method Details
-
isEquivalentTo
- Specified by:
isEquivalentTo
in interfaceBehavioralEquivalenceMixin<B extends Bigraph<? extends Signature<?>>>
-
attachToObject
- Specified by:
attachToObject
in interfaceBehavioralEquivalenceMixin<B extends Bigraph<? extends Signature<?>>>
-
getDefaultBisimAlgo
-
setDefaultBisimAlgo
-