java.lang.Object
org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport<B>
org.bigraphs.framework.simulation.modelchecking.BreadthFirstStrategy<B>
- All Implemented Interfaces:
ModelCheckingStrategy<B>
public class BreadthFirstStrategy<B extends Bigraph<? extends Signature<?>>>
extends ModelCheckingStrategySupport<B>
The algorithm implemented here to synthesize the "reaction graph" is adopted from [1].
It is a breadth-first simulation which also checks some given predicates.
Can be used to conduct reachability analysis.
- Author:
- Dominik Grzelak
- See Also:
-
Field Summary
Fields inherited from class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport
modelChecker, occurrenceCounter
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
Compute the transition system of a bigraph with all added reaction rules so far.Methods inherited from class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport
increaseOccurrenceCounter, resetOccurrenceCounter
-
Constructor Details
-
BreadthFirstStrategy
-
-
Method Details
-
synthesizeTransitionSystem
public void synthesizeTransitionSystem()Compute the transition system of a bigraph with all added reaction rules so far.
-