Package org.bigraphs.framework.simulation.equivalence
package org.bigraphs.framework.simulation.equivalence
-
ClassDescriptionBehavioralEquivalenceMixin<R extends AbstractTransitionSystem<? extends Bigraph<? extends Signature<?>>>>Mixin interface for behavioral equivalences on transition systems of type
AbstractTransitionSystem
in BTS.This is a "wrapper" class that extends the basic reaction graph structureReactionGraph
, and contains an instance of the behavioral equivalence mixin implementation ofBehavioralEquivalenceMixin
.This class provides the implementation of the interfaceBehavioralEquivalenceMixin
for the bisimulation equivalence relation.This class provides the implementation of the interfaceBehavioralEquivalenceMixin
for the bisimulation equivalence relation.