static void Main(string[] args)
{
if (args.Length < 1)
{
Console.WriteLine("Petri Net file does not set. Please enter file with Petri Net as first command line parameter.");
return;
}
if (!File.Exists(args[0]))
{
Console.WriteLine(
String.Format("File {0} does not exists. Please enter file with Petri Net as first command line parameter.", args[0]));
return;
}
var net = PNets.Core.PetriNet.Parse(args[0]);
var checker = new PropertiesChecker(net);
var isBounded = checker.CheckStructurallyBoundness();
Console.WriteLine(String.Format("Given PetriNet is {0}", isBounded));
}
public void PetryNetShouldBeStructuralBounded(string inFile)
{
var net = PetriNet.Parse(inFile);
var checker = new PropertiesChecker(net);
Assert.IsTrue(checker.CheckStructurallyBoundness() == StructurallyBoundness.StructurallyBounded);
}
