Submit your research to the International Journal "Notes on Intuitionistic Fuzzy Sets". Contact us at

Call for Papers for the 25th Jubilee Edition of the International Conference on Intuitionistic Fuzzy Sets is now open!
Conference: 9–10 September 2022 • Deadline for submission: 30 May 2022.

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

From Ifigenia, the wiki for intuitionistic fuzzy sets and generalized nets
Jump to navigation Jump to search
Title of paper: Verification of a token transfer algorithm in a .NET implementation of generalized nets
Polya Gocheva
College of Telecommunications and Post, 1 Acad. Stefan Mladenov Str., Sofia - 1700, Bulgaria
Valeri Gochev
College of Telecommunications and Post, 1 Acad. Stefan Mladenov Str., Sofia - 1700, Bulgaria
Presented at: 13th IWGN, London, 29 October 2012
Published in: Conference proceedings, pages 69—76
Download: Download-icon.png PDF (115  Kb, Info)
Abstract: The present paper aims to consider verification of .NET implementation of generalized nets’ functioning. Simple models are used in order influence of various generalized nets’ components to be shown. Graphical structure of transitions and places including their priority and capacity is used. Number of tokens and token transfer are denoted in original manner according to authors’ book.
Keywords: Generalized nets, Verification, .NET.
AMS Classification: 68Q85.
  1. Atanassov, K., Generalized Nets. World Scientific, Singapore, 1991.
  2. Atanassov, K., On Generalized Nets Theory. ‘Prof. Marin Drinov’ Academic Publishing House, Sofia, 2007.
  3. Dimitrov, D., Software products implementing generalized nets. Annual of Section “Informatics”, Union of Scientists in Bulgaria, Vol. 3, 2010, 37–50 (In Bulgarian).
  4. Gochev, V., P. Gocheva, .NET implementation of generalized nets. Object-oriented approach. College of Telecommunications and Post, Sofia, 2012 (In Bulgarian).
  5. Poryazov, S., Atanassov K. А Generalized Net Subscribers’ Traffic Model of Communication Switching Systems. Journal on Advances in Modelling&Analysis, Vol. 37, 1997, No. 1–2, 27–35.
  6. Poryazov, S. A., Saranova E. T. Chapter 24: Some General Terminal and Network Teletraffic Equations in Virtual Circuit Switching Systems –In: Modeling and Simulation Tools for Emerging Telecommunications Networks: Needs, Trends, Challenges, Solutions (Nejat Ince, A., E. Topuz, Eds.), Springer Sciences + Business Media, LLC 2006, 471–505.
  7. Todorova, M., Construction of Correct Object-Orientated Programs via Building their Generalized Nets Models, Annual of “Informatics” Section, Union of Scientists in Bulgaria, Vol. 4, 2011, 1–28.
  8. Todorova, M., Model Checker of Object-Oriented Programs Based on Generalized Nets. IWIFSGN’2011, Warsaw, September 30, 2011, Recent Developments in Fuzzy Sets, Intuitionistic Fuzzy Sets, Generalized Nets and Related Topics. Vol. II: Applications, 309–319.
  9. Todorova, M., Verification of Procedural Programs via Building there Generalized Nets Models. Proc. of the 41st Spring Conference of the Union of Bulgarian Mathematicians. Mathematics and Education in Mathematics. 9–12 April 2012, Borovets, 259–265.

The list of publications, citing this article may be empty or incomplete. If you can provide relevant data, please, write on the talk page.