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