public override PetriNetVerificationResult Verify(PetriNetVerificationContext context) { Trace.WriteLine(GetType().Name + ".Verify()"); var result = new PetriNetVerificationResult { IsSuccessful = true, }; return result; }
public override PetriNetVerificationResult Verify(PetriNetVerificationContext context) { throw new NotImplementedException(); }