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);
}
}
}