Submit your research to the International Journal "Notes on Intuitionistic Fuzzy Sets". Contact us at nifs.journal@gmail.com

Call for Papers for the 27th International Conference on Intuitionistic Fuzzy Sets is now open!
Conference: 5–6 July 2024, Burgas, Bulgaria • EXTENDED DEADLINE for submissions: 15 APRIL 2024.

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
shortcut
http://ifigenia.org/wiki/issue:iwgn-13-69-76
Title of paper: Verification of a token transfer algorithm in a .NET implementation of generalized nets
Author(s):
Polya Gocheva
College of Telecommunications and Post, 1 Acad. Stefan Mladenov Str., Sofia - 1700, Bulgaria
polya_gocheva@hctp.acad.bg
Valeri Gochev
College of Telecommunications and Post, 1 Acad. Stefan Mladenov Str., Sofia - 1700, Bulgaria
valeri_gochev@hctp.acad.bg
Presented at: 13th IWGN, London, 29 October 2012
Published in: Conference proceedings, pages 69—76
Download:  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.
References:
  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.
  10. http://www.ifigenia.org
Citations:

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