Package org.bigraphs.framework.simulation.equivalence

package org.bigraphs.framework.simulation.equivalence

Class	Description
BehavioralEquivalenceMixin<R extends AbstractTransitionSystem<? extends Bigraph<? extends Signature<?>>>>	Mixin interface for behavioral equivalences on transition systems of type AbstractTransitionSystem in BTS.
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<R extends AbstractTransitionSystem<Bigraph<? extends Signature<?>>>>	This class provides the implementation of the interface BehavioralEquivalenceMixin for the bisimulation equivalence relation.
WeakBisimulationMixinImpl<R extends AbstractTransitionSystem<Bigraph<? extends Signature<?>>>>	This class provides the implementation of the interface BehavioralEquivalenceMixin for the bisimulation equivalence relation.