-
A bigraph model checker that allows to simulate a BRS by reaction rules.
This class represents export-specific options regarding the generated artifacts when synthesizing the transition
system.
Class that represents simulation-specific options.
Default values:
allow reducible classes: false
Strategy pattern for implementing new model checking algorithms.
Base class for supporting model checking strategy implementations.