pd_counterexample_griffin.cpp
Go to the documentation of this file.
3 Synthesizes the minimal restrictive supervisor for a combination of plant and specification presented in the appendix of the technical report by Schneider and Schmuck (referenced at the webpage of this plugin). This is a counterexample to the results by Griffin (2008) as his algorithm returns a real subset of the supremal controllable sublanguage. Using our tool (i.e. this tutorial), the correct supervisor is synthesized.
75 g.SetMarkedState("q0");//here all states are marked, as required by the algorithm of Griffin (2008)
97 s.SetMarkedState("p0");//here all states are marked, as required by the algorithm of Griffin (2008)
libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen |