Applying Floyd’s Inductive Assertions Method for Verification of Generalized Net Models Without Temporal Components Journal title: International Journal of Advanced Computer Science & Applications Authors: Magdalina Todorova, Nora Angelova Subject(s):
