C# (CSharp) YuriyGuts.Petrifier.Diagnostics.Verification PetriNetVerificationContext Examples

Example #1

File: PetriNetSoundnessVerifier.cs Project: YuriyGuts/petrifier

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

Example #2

File: PetriNetQuantitativeVerifier.cs Project: YuriyGuts/petrifier

 public override PetriNetVerificationResult Verify(PetriNetVerificationContext context)
 {
     throw new NotImplementedException();
 }