Uses of Class
org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem

Packages that use AbstractTransitionSystem

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

Uses of AbstractTransitionSystem in org.bigraphs.framework.converter

Classes in org.bigraphs.framework.converter with type parameters of type AbstractTransitionSystem

Modifier and Type	Interface	Description
interface	ReactionGraphPrettyPrinter<B extends AbstractTransitionSystem<?,?>>	General interface for all exporters handling transition system objects.

Uses of AbstractTransitionSystem in org.bigraphs.framework.core.reactivesystem

Subclasses of AbstractTransitionSystem in org.bigraphs.framework.core.reactivesystem

Modifier and Type	Class	Description
class	ReactionGraph<B extends Bigraph<? extends Signature<?>>>	This data structure represents a "reaction graph", analogous to a labeled transition system.
class	ReactionGraphCollapsed<B extends Bigraph<? extends Signature<?>>>	This class represents a "collapsed", "reduced" reaction graph, possibly consolidated by a minimization algorithm (e.g., bisim minimization).

Methods in org.bigraphs.framework.core.reactivesystem that return AbstractTransitionSystem

Modifier and Type	Method	Description
AbstractTransitionSystem<B,T>	AbstractTransitionSystem.addInitialStateLabels(String... labels)

Uses of AbstractTransitionSystem in org.bigraphs.framework.simulation.equivalence

Classes in org.bigraphs.framework.simulation.equivalence with type parameters of type AbstractTransitionSystem

Modifier and Type	Interface	Description
interface	BehavioralEquivalenceMixin<R extends AbstractTransitionSystem<?,?>>	Mixin for behavioral equivalence on AbstractTransitionSystem instances.

Uses of AbstractTransitionSystem in org.bigraphs.framework.simulation.equivalence.adapter

Classes in org.bigraphs.framework.simulation.equivalence.adapter with type parameters of type AbstractTransitionSystem

Modifier and Type	Class	Description
class	BighuggiesBisimulationStringAdapter<AST extends AbstractTransitionSystem<?,?>>	An adapter for AbstractTransitionSystem objects in Bigraph Framework for the external Java library "bighuggies:bisimulation" (shaded in the Simulation Module dependency).