Uses of Class
org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem
Package
Description
-
Uses of AbstractTransitionSystem in org.bigraphs.framework.core.reactivesystem
Modifier and TypeClassDescriptionclass
ReactionGraph<B extends Bigraph<? extends Signature<?>>>
An "extended" data structure to build up a "reaction graph", analogous to a labeled transition system. -
Uses of AbstractTransitionSystem in org.bigraphs.framework.simulation.equivalence
Modifier and TypeInterfaceDescriptioninterface
BehavioralEquivalenceMixin<R extends AbstractTransitionSystem<? extends Bigraph<? extends Signature<?>>>>
Mixin interface for behavioral equivalences on transition systems of typeAbstractTransitionSystem
in BTS.class
StrongBisimulationMixinImpl<R extends AbstractTransitionSystem<Bigraph<? extends Signature<?>>>>
This class provides the implementation of the interfaceBehavioralEquivalenceMixin
for the bisimulation equivalence relation.class
WeakBisimulationMixinImpl<R extends AbstractTransitionSystem<Bigraph<? extends Signature<?>>>>
This class provides the implementation of the interfaceBehavioralEquivalenceMixin
for the bisimulation equivalence relation.Modifier and TypeClassDescriptionclass
ReactionGraphExtended<B extends Bigraph<? extends Signature<?>>>
This is a "wrapper" class that extends the basic reaction graph structureReactionGraph
, and contains an instance of the behavioral equivalence mixin implementation ofBehavioralEquivalenceMixin
.