Issue:On the global operator G2 over generalized nets

shortcut

http://ifigenia.org/wiki/issue:iwgn-12-1-5

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.