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

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. It also detects cycles. This algorithm can be used to conduct reachability analysis.
Author:
Dominik Grzelak
See Also: