Exemple #1
0
 private void AnalizeButton_Click(object sender, EventArgs e)
 {
     if(_petriNet!=null)
     {
         ClearAll();
         _propertiesChecker = new PropertiesChecker(_petriNet);
         _propertiesChecker.Analize();
         SetProperties();
         SetInvariants();
         if(_propertiesChecker.CoverageTree!=null)
         {
             DrawTree(_propertiesChecker.CoverageTree, gViewer1);
         }
         if (_propertiesChecker.FullCoverageTree != null)
         {
             DrawTree(_propertiesChecker.FullCoverageTree, gViewer2);
         }
     }
 }