| Title of paper:
|
On the global operator G2 over generalized nets
|
| Author(s):
|
| Dimitar Dimitrov
|
Faculty of Mathematics and Informatics, Sofia University, 105 Acad. G. Bonchev Str., 1113 Sofia, Bulgaria
Institute of Biophysics and Biomedical Engineering, Bulgarian Academy of Sciences
|
| dgdimitrov@fmi.uni-sofia.bg
|
|
| Presented at:
|
12th IWGN, Burgas, 17 June 2012
|
| Published in:
|
Conference proceedings, pages 1—5
|
| Download:
|
 PDF (158 Kb, File info)
|
| Abstract:
|
In this paper a new global operator G'2 is defined. G'2 extends G2 and can be used on wider class of generalized nets. For a given GN E, the results of the work of E and G'2(E) are the same. The operator is defined in a way suitable for software implementation.
|
| Keywords:
|
Generalized net, Global operator, Formalization, GN Lite, GN IDE, Software implementation.
|
| AMS Classification:
|
68Q85.
|
| References:
|
- Atanassov K. Generalized Nets. World Scientific, Singapore, New Jersey, London, 1991.
- Atanassov K. On Generalized Nets Theory. “Prof. Marin Drinov” Academic Publishing House, Sofia, 2007
- Atanassov, K. Operator aspect of the theory of generalized nets. AMSE Review, Vol. 4, 1987, No. 4, 27–30.
- Atanassov, K. Global operators defined on the set of generalized nets. AMSE Review, Vol. 4, 1987, No. 4, 31–46.
- Atanassov, K., E. Sotirova. On Global Operator G21 Defined over Generalized Nets. Cybernetics and Information Technologies, Vol. 4, 2004, No 2, 30–40.
- Dimitrov, D. G. A Graphical Environment for Modeling and Simulation with Generalized Nets. Annual of “Informatics” Section, Union of Scientists in Bulgaria, Vol. 3, 2010, 51–66 (In Bulgarian).
- Dimitrov, D. G. GN IDE - A software tool for simulation with generalized nets, Proc. of Tenth Int. Workshop on Generalized Nets, Sofia, 5 December 2009, 70–75.
- Dimitrov, D. Optimized algorithm for token transfer in generalized nets. Recent Advances in Fuzzy Sets, Intuitionistic Fuzzy Sets, Generalized Nets and Related Topics, Vol. 1: Foundations, 2010, 63–68.
- 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 (In Bulgarian).
- Todorova, M. Verification of Procedural Programs via Building their Generalized Nets Models. Proceedings of the 41. Spring Conference of the Union of Bulgarian Mathematicians, Mathematics and Education in Mathematics, 2012, 259–265.
- Trifonov, T., K. Georgiev, K. Atanassov. Software for modelling with Generalised Nets, Issues in Intuitionistic Fuzzy Sets and Generalized Nets, Vol. 6, 2008, 36–42.
|
| 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.
|
|
