Issue:Verification of a token transfer algorithm in a .NET implementation of generalized nets