Package org.bigraphs.framework.simulation.equivalence.adapter

package org.bigraphs.framework.simulation.equivalence.adapter

This package contains adapters for external Java libraries related to analysis, transition systems, etc.

Author:

Dominik Grzelak

Related Packages

Package	Description
org.bigraphs.framework.simulation.equivalence

Classes

Class	Description
BighuggiesBisimulationProcessAdapter<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	The "bighuggies:bisimulation" library computes bisimilarity for two LTSs.
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).