Uses of Package
org.bigraphs.framework.simulation.equivalence
-
ClassDescriptionMixin 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
.