Class ReactionGraph<B extends Bigraph<? extends Signature<?>>>

java.lang.Object
org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem<B,BMatchResult<B>>
org.bigraphs.framework.core.reactivesystem.ReactionGraph<B>
Type Parameters:
B - the type of the bigraph of the states and transition relations of the transition system
All Implemented Interfaces:
Serializable
Direct Known Subclasses:
ReactionGraphCollapsed, ReactionGraphExtended

public class ReactionGraph<B extends Bigraph<? extends Signature<?>>> extends AbstractTransitionSystem<B,BMatchResult<B>> implements Serializable
This data structure represents a "reaction graph", analogous to a labeled transition system. It extends the abstract base class AbstractTransitionSystem. Its states are bigraphs, and its transition relations are reaction rules of the same bigraph class type.

A reaction graph is not to be confused with the notion of minimal LTSs in bigraphs. This reaction graph has no minimal context labels as transitions; it has reactions as labels.

The canonical string encoding of a bigraph is also stored here.

Author:
Dominik Grzelak
See Also: