Package org.bigraphs.framework.simulation.equivalence

package org.bigraphs.framework.simulation.equivalence

Related Packages

Package	Description
org.bigraphs.framework.simulation.equivalence.adapter	This package contains adapters for external Java libraries related to analysis, transition systems, etc.

Class	Description
BehavioralEquivalenceMixin<R extends AbstractTransitionSystem<?,?>>	Mixin Infrastructure-related class.
BehavioralEquivalenceMixin.Algorithms
BisimulationCheckerSupport<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	This implementation provides a basic extensible (template) method for computing bisimilarity of LTSs.
ReactionGraphExtended<B extends Bigraph<? extends Signature<?>>>	This is a "wrapper" class that extends the basic reaction graph structure ReactionGraph, and contains an instance of the behavioral equivalence mixin implementation of BehavioralEquivalenceMixin.
StrongBisimulationMixinImpl<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	Mixin Infrastructure-related class.
WeakBisimulationMixinImpl	This class provides the implementation of the interface BehavioralEquivalenceMixin for the bisimulation equivalence relation.