Package org.bigraphs.framework.simulation.equivalence

package org.bigraphs.framework.simulation.equivalence

Related Packages

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

Class	Description
BehavioralEquivalenceMixin<R extends AbstractTransitionSystem<?,?>>	Mixin for behavioral equivalence on AbstractTransitionSystem instances.
BehavioralEquivalenceMixin.EquivalenceAlgorithm
BisimulationCheckerSupport<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	This implementation provides a basic extensible (template) method for computing bisimilarity of LTSs.
BisimulationMixinImpl<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	Bisimulation checks whether two labeled transition systems exhibit the same behavior: every sequence of visible actions in one system can be matched by the other.