| 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, File 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:
|
- Atanassov, K., Generalized Nets. World Scientific, Singapore, 1991.
- Atanassov, K., On Generalized Nets Theory. ‘Prof. Marin Drinov’ Academic Publishing House, Sofia, 2007.
- Dimitrov, D., Software products implementing generalized nets. Annual of Section “Informatics”, Union of Scientists in Bulgaria, Vol. 3, 2010, 37–50 (In Bulgarian).
- Gochev, V., P. Gocheva, .NET implementation of generalized nets. Object-oriented approach. College of Telecommunications and Post, Sofia, 2012 (In Bulgarian).
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
|
|
