Package org.bigraphs.framework.core.reactivesystem

Interface ReactiveSystem<B extends Bigraph<? extends Signature<?>>>

All Known Implementing Classes:
AbstractSimpleReactiveSystem, AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem, PureReactiveSystem
public interface ReactiveSystem<B extends Bigraph<? extends Signature<?>>>
Base interface for bigraphical reactive systems.

When a reactive system is executed based on a rule set then it synthesizes a labelled transition system which represents the behavior of the bigraphical reactive system.

The interface offers methods to build the result of a reaction.

Author:
Dominik Grzelak

  • Method Details

    • getReactionRules

      Collection<ReactionRule<B>> getReactionRules()
      Return the labels of the transition system which are called reaction rules for BRS.
      Returns:
      the labels of the transition system

    • getReactionRulesMap

      com.google.common.collect.BiMap<String,ReactionRule<B>> getReactionRulesMap()

    • getAgent

      B getAgent()

    • getSignature

      Signature getSignature()

    • getPredicates

      Collection<ReactiveSystemPredicate<B>> getPredicates()

    • getPredicateMap

      com.google.common.collect.BiMap<String,ReactiveSystemPredicate<B>> getPredicateMap()

    • buildGroundReaction

      B buildGroundReaction(B agent, BigraphMatch<B> match, ReactionRule<B> rule)

    • buildParametricReaction

      B buildParametricReaction(B agent, BigraphMatch<B> match, ReactionRule<B> rule)

    • isSimple

      default boolean isSimple()
      Checks whether the bigraphical reactive system is simple. A BRS is simple if all its reaction rules are so.
      Returns:
      true if the BRS is simple, otherwise false