METHOD OF SOFTWARE VERIFICATION OF AIR OBJECTS CLASSIFICATION FUZZY LOGICAL SYSTEM

Συγγραφείς: Timochko, Oleksander

Πηγή: Сучасні інформаційні системи, Vol 2, Iss 4 (2018)
Сучасні інформаційні системи; Том 2 № 4 (2018): Сучасні інформаційні системи; 96-100
Advanced Information Systems; Vol. 2 No. 4 (2018): Advanced Information Systems; 96-100
Современные информационные системы-Sučasnì ìnformacìjnì sistemi; Том 2 № 4 (2018): Современные информационные системы; 96-100

Θεματικοί όροι: 351.814.33, Information theory, airborne objects, классификация, воздушный объект, colored Petri nets, нечеткое продук-ционное правило, fuzzy production rule, 004.415.5, функція приналежності, класифікація повітряних об'єктів, air object, ознака повітряного об'єкта, QA76.75-76.765, база знань, classification, software verification, verification method, метод верификации, Computer software, 519.179.2, верификация программного обеспечения, раскрашенные сети Петри, нечітке продукційне правило, Q350-390

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://ais.khpi.edu.ua/article/download/2522-9052.2018.4.16/151761
https://doaj.org/article/09491d9922ed4b37a9577300ebbfbb3c
http://repository.kpi.kharkov.ua/handle/KhPI-Press/40548
http://ais.khpi.edu.ua/article/view/2522-9052.2018.4.16

Prosega/CPN: An extension of CPN Tools for Automata-based Analysis and System Verification

Συγγραφείς: Ana Morales, María Elena Villapol, Julio Cesar Carrasquel

Πηγή: Труды Института системного программирования РАН, Vol 30, Iss 4, Pp 107-128 (2018)

Θεματικοί όροι: верификация протоколов, конечные автоматы, 0203 mechanical engineering, раскрашенные сети петри, Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology, формальные методы, cpn tools

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2018/30/4/isp_30_2018_4_107.pdf
https://doaj.org/article/4dd03556e5df47f99084b727e3079f89
https://cyberleninka.ru/article/n/prosega-cpn-an-extension-of-cpn-tools-for-automata-based-analysis-and-system-verification/pdf
https://cyberleninka.ru/article/n/prosega-cpn-an-extension-of-cpn-tools-for-automata-based-analysis-and-system-verification
https://ispranproceedings.elpub.ru/jour/article/view/558
https://ispranproceedings.elpub.ru/jour/article/download/558/304

ESTIMATION OF TIME SPENT ON IDENTIFICATION OF INCORRECT SOLUTIONS DURING CLASSIFICATION OF OBJECTS USING COLORED PETRI NETS ; ОЦЕНИВАНИЕ ЗАТРАТ ВРЕМЕНИ НА ВИЯВЛЕНИЕ НЕКОРРЕКТНЫХ РИШЕНИЙ ПРИ КЛАССИФИКАЦІИ ОБЪЕКТОВ С ПРИМЕНЕНИЕМ РАСКРАШЕННЫХ СЕТЕЙ ПЕТРИ ; Оцінка затрат часу на виявлення некоректних рішень при класифікації об’єктів із застосуванням розфарбованих мереж Петрі

Συγγραφείς: Тімочко, О. О., Тихомиров, О. М., Гойжевський, О. В., Губаревич, О. В.

Πηγή: Science-based technologies; Vol. 40 No. 4 (2018); 428-436 ; Наукоемкие технологии; Том 40 № 4 (2018); 428-436 ; Наукоємні технології; Том 40 № 4 (2018); 428-436 ; 2310-5461 ; 2075-0781

Θεματικοί όροι: decision support system, test suite, completeness of test coverage, reliability of test suites, scale of significant factors, adequacy, reliability, time consuming, colored Petri nets, 519.179.2, 004.415.5, 351.814.33(045), система поддержки принятия решений, тестовый набор, полнота тестового покрытия, достоверность тестовых наборов, шкала значимых факторов, адекватность, достоверность, затраты времени, раскрашенные сети Петри, система підтримки прийняття рішень, тестовий набір, повноти тестового покриття, достовірність тестових наборів, шкала значущих чинників, адекватність, достовірність, витрати часу, розфарбовані мережі Петрі

Περιγραφή αρχείου: application/pdf

Relation: https://jrnl.nau.edu.ua/index.php/SBT/article/view/13268/18627; https://jrnl.nau.edu.ua/index.php/SBT/article/view/13268

Διαθεσιμότητα: https://jrnl.nau.edu.ua/index.php/SBT/article/view/13268
https://doi.org/10.18372/2310-5461.40.13268

CPN tools-assisted simulation and verification of nested Petri nets

Συγγραφείς: Leonid W. Dworzanski, Irina A. Lomazova

Πηγή: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 115-130 (2015)
Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 115-130 (2012)

Θεματικοί όροι: граф достижимости, reachability graph, nested petri nets, Information technology, 0102 computer and information sciences, 02 engineering and technology, simulation, T58.5-58.64, 16. Peace & justice, имитационное моделирование, 01 natural sciences, вложенные сети Петри, верификация, 0202 electrical engineering, electronic engineering, information engineering, раскрашенные сети Петри, colored petri nets, verification

Σύνδεσμος πρόσβασης: https://www.mais-journal.ru/jour/article/download/61/59
https://doaj.org/article/03e13a394a664d4dbaeaeae654b2b709
https://doaj.org/article/1738c2c5548147989afeb2959302e688
https://www.mais-journal.ru/jour/article/viewFile/61/59
https://dblp.uni-trier.de/db/journals/accs/accs47.html#DworzanskiL13
https://link.springer.com/article/10.3103/S0146411613070201
https://publications.hse.ru/articles/105183044
https://link.springer.com/content/pdf/10.3103/S0146411613070201.pdf
https://publications.hse.ru/articles/67479299
https://www.mais-journal.ru/jour/article/view/61
https://www.mais-journal.ru/jour/article/download/61/59

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets

Συγγραφείς: L. W. Dworza´nski, I. A. Lomazova

Πηγή: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 115-130 (2012)

Θεματικοί όροι: вложенные сети Петри, раскрашенные сети Петри, имитационное моделирование, верификация, граф достижимости, Information technology, T58.5-58.64

Περιγραφή αρχείου: electronic resource

Relation: http://mais-journal.ru/jour/article/view/61; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Σύνδεσμος πρόσβασης: https://doaj.org/article/1738c2c5548147989afeb2959302e688

Application of Coloured Petri Nets for Verification of Scenario Control Structures in UCM Notation ; Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM

Συγγραφείς: N. V. Vizovitin, V. A. Nepomniaschy, A. A. Stenenko, Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко

Πηγή: Modeling and Analysis of Information Systems; Том 23, № 6 (2016); 688-702 ; Моделирование и анализ информационных систем; Том 23, № 6 (2016); 688-702 ; 2313-5417 ; 1818-1015

Θεματικοί όροι: обработка ошибок, translation, UCM, coloured Petri nets, SPIN, protected component, error handling, трансляция, нотация Use Case Maps, раскрашенные сети Петри, верификатор SPIN, защищенный компонент

Περιγραφή αρχείου: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/407/366; Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А. мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В., “Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений”, Тр. СПИИРАН, 26 (2013), 349–383.; Стененко А.А., Непомнящий В.А., Верификация раскрашенных сетей Петри методом проверки моделей, Препринт 178, http://www.iis.nsk.su/files/preprints/stenenko_nepomniaschy_178.pdf, Ин-т систем информатики СО РАН, Новосибирск, 2015, 28 с.; Визовитин Н.В., Непомнящий В.А., Алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри, Препринт 168, http://www.iis.nsk.su/files/preprints/168.pdf, Ин-т систем информатики СО РАН, Новосибирск, 2012, 55 с.; Kotlyarov V., Weigert T., “Verifiable Coverage Criteria for Automated Testing”, SDL 2011, LNSC 7083, 2011, 79–89.; Baranov S.N., Drobintsev P.D., Kotlyarov V.P., Letichevsky A.A., “The Technology of Automated Verification and Testing in Industrial Projects”, Proc. IEEE Russia Northwest Section, 110 Anniversary of Radio Invention Conference, IEEE Press, St.Petersburg, 2005, 81–89.; Boulet P., Amyot D., Stepien B., “Towards the Generation of Tests in the Test Description Language from Use Case Map Models”, SDL 2015, LNCS 9369, Springer, 2015, 193–201.; CPN Tools Homepage, http://cpntools.org/.; Hassine J., Rilling J., Dssouli R., “Abstract Operational Semantics for Use Case Maps”, FORTE 2005, LNCS 3731, 2005, 366–380.; Hassine J. Early modeling and validation of timed system requirements using Timed Use Case Maps, Requirements Engineering, 20:2 (2015), 181–211.; Hassine J., Rilling J., Dssouli R, “Use Case Maps as a Property Specification Language”, Software and Systems Modeling, 8:2 (2009), 205–220.; Holzmann G.J, The SPIN model checker. Primer and Reference Manual, Addison-Wesley, 2004.; ITU-T, Recommendation Z.151 (10/12), User Requirements Notation (URN) — Language definition, http://www.itu.int/rec/T-REC-Z.151/en.; jUCMNav — Eclipse plugin for the User Requirements Notation, http://jucmnav.softwareengineering.ca/ucm/bin/view/ProjetSEG/WebHome.; Jensen K., Kristensen L.M, Coloured Petri Nets: Modelling and Validation of Concurrent Systems, Springer, 2009.; Vizovitin N.V., Application of coloured Petri nets for verification of scenario control structures in UCM notation. Appendix, http://bitbucket.org/vizovitin/ucm-verification- examples-3.; Vizovitin N.V., Nepomniaschy V.A., Stenenko A.A., “Verifying UCM Specifications of Distributed Systems Using Colored Petri Nets”, Cybernetics and Sys. Anal., 51:2 (2015), 213– 222.; Vizovitin N.V., Nepomniaschy V.A., Stenenko A.A., “Verification of UCM Models with Scenario Control Structures Using Colored Petri Nets”, System Informatics, 7 (2016), 11–22.

Διαθεσιμότητα: https://www.mais-journal.ru/jour/article/view/407
https://doi.org/10.18255/1818-1015-2016-6-688-702

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets ; Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools

Συγγραφείς: L. W. Dworza´nski, I. A. Lomazova, Леонид Владимирович Дворянский, Ирина Александровна Ломазова

Συνεισφορές: Научный фонд НИУ ВШЭ, РФФИ

Πηγή: Modeling and Analysis of Information Systems; Том 19, № 5 (2012); 115-130 ; Моделирование и анализ информационных систем; Том 19, № 5 (2012); 115-130 ; 2313-5417 ; 1818-1015

Θεματικοί όροι: граф достижимости, colored Petri nets, simulation, verification, reachability graph, раскрашенные сети Петри, имитационное моделирование, верификация

Περιγραφή αρχείου: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/61/59; Ломазова И. А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой. М.: Научный Мир, 2004. 208 с.; van der Aalst, W.M.P., Stahl C., Westergaard M. Strategies for Modeling Complex Processes Using Colored Petri Nets // ToPNoC V. 2012. LNCS 6900. P. 265–291.; Bashkin V.A., Lomazova I.A. Resource Driven Automata Nets // Fundamenta Informaticae. 2011. Vol. 109(3). P. 223–236.; Bednarczyk M.A., Bernardinello L., Pawlowski W., Pomello L. Modelling mobility with Petri Hypernets // Recent Trends in Algebraic Development Techniques. 2005. LNCS 3423. P. 28–44.; Bocˇanealˇa C. Modeling inteligent systems with level Petri nets // Annals of Dunarea de Jos Year. 2008. Vol. 31(2). P. 31–36.; Chang L., He X., Lian J., Shatz S. Applying a Nested Petri Net Modeling Paradigm to Coordination of Sensor Networks with Mobile Agents // Proc. of Workshop on Petri Nets and Distributed Systems, Xian, China. 2008. P. 132–145.; Dvoryansky L.V., Lomazova I.A. Compositionality of some behavioral properties for free-choice nested Petri nets. // Proc. Second Workshop “Program Semantics, Specification and Verification: Theory and Application”. Yaroslavl, 2011. P. 27–36.; Dworza´nski L. W., Lomazova I.A. On Compositionality of Boundedness and Liveness for Nested Petri Nets // Fundamenta Informaticae. 2012. Vol. 120(3–4).P. 277–295.; Hoffmann K., Ehrig H., Mossakowski T. High-level nets with nets and rules as tokens // Proc. ICATPN. 2005. LNCS 3536. P. 268–288.; ter Hofstede A.H.M., van der Aalst W.M.P., Adams M., Russell N. Modern Business Process Automation: YAWL and its support environment. Springer, 2010. 676 p.; Jensen K., Kristensen L. M. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, 2009. 396 p.; Jensen K., Kristensen L.M., Wells L. Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems // International Journal on Software Tools for Technology Transfer. 2007. Vol. 9(3–4). P. 213–254.; K¨ohler M., Farwer M. Object nets for mobility // Proc. ICATPN. 2007. LNCS 4546. P. 244–262.; K¨ohler-Bussmeier M. Hornets: Nets within nets combined with net algebra // Proc. Applications and Theory of Petri Nets. 2009. LNCS 5606. P. 243–262.; Lomazova I. A. Nested Petri nets — a Formalism for Specification and Verification of Multi-Agent Distributed Systems // Fundamenta Informaticae. 2000. Vol. 43(1–4). P. 195–214.; Lomazova I. A. Nested Petri Nets: Multi-level and Recursive Systems // Fundamenta Informaticae. 2001. Vol. 47(3–4). P.283–293.; Lomazova I. A. Nested Petri Nets for Adaptive Process Modeling // Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. 2008. LNCS 4800. P. 460–474.; Mascheroni M., Farina F. Nets-Within-Nets paradigm and grid computing // Transactions on Petri Nets and Other Models of Concurrency V. 2012. LNCS 7347. P. 201–220.; Pawlowski W. Petri Hypernets with Constraints // Proc. “Concurrency, Specification and Programming (CS&P 2009)”. 2009. P. 467–479.; Valk R. Petri Nets as Token Objects: An Introduction to Elementary Object Nets // Proc. of ICATPN’98. LNCS1420. 1998. P. 1–25. 21. Valk R. Object Petri nets: Using the nets-within-nets paradigm // Lectures on; Concurrency and Petri Nets. 2004. LNCS 3098. P. 819–848.; CPN Tools Manual: Nondeterministic nets. http://cpntools.org/documentation/tasks/verification/nondeterministic_nets

Διαθεσιμότητα: https://www.mais-journal.ru/jour/article/view/61
https://doi.org/10.18255/1818-1015-2012-5-115-130

Developing a model of information security risk assessment based on colored Petri net ; Разработка модели оценки рисков информационной безопасности на основе раскрашенной сети Петри ; Розробка моделі оцінки ризиків інформаційної безпеки на основі розфарбованої мережі Петрі

Συγγραφείς: Копитін, Юрій Вікторович

Πηγή: Ukrainian Scientific Journal of Information Security; Vol. 20 No. 3 (2014); 293-299 ; Безопасность информации; Том 20 № 3 (2014); 293-299 ; Безпека інформації; Том 20 № 3 (2014); 293-299 ; 2411-071X ; 2225-5036

Θεματικοί όροι: information security, information security risks, risk assessment, threat, vulnerability, attack, colored Petri nets, probability, consequences, UDC 004.056(045), информационная безопасность, риски информационной безопасности, оценка рисков, угрозы, уязвимость, атака, раскрашенные сети Петри, вероятность, последствия, УДК 004.056(045), інформаційна безпека, ризики інформаційної безпеки, оцінка ризиків, загрози, уразливість, розфарбовані мережі Петрі, ймовірність, наслідки

Περιγραφή αρχείου: application/pdf

Relation: https://jrnl.nau.edu.ua/index.php/Infosecurity/article/view/7558/8614; https://jrnl.nau.edu.ua/index.php/Infosecurity/article/view/7558

Διαθεσιμότητα: https://jrnl.nau.edu.ua/index.php/Infosecurity/article/view/7558
https://doi.org/10.18372/2225-5036.20.7558

Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets ; Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри

Συγγραφείς: S. A. Chernenok, V. A. Nepomniaschy, Сергей Анатольевич Черненок, Валерий Александрович Непомнящий

Συνεισφορές: РФФИ

Πηγή: Modeling and Analysis of Information Systems; Том 21, № 6 (2014); 94-106 ; Моделирование и анализ информационных систем; Том 21, № 6 (2014); 94-106 ; 2313-5417 ; 1818-1015

Θεματικοί όροι: раскрашенные сети Петри, translation, verification, distributed systems, communication protocols, MSC diagrams, Coloured Petri Nets, трансляция, верификация, распределённые системы, телекоммуникационные протоколы, MSC-диаграммы

Περιγραφή αρχείου: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/74/72; Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А. мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений // СПИИРАН. 2013. Вып. 3(26). С. 349–383 (English transl.: Anureev I., Baranov S., Beloglazov D., Bodin E., Drobintsev P., Kolchin A., Kotlyarov V., Letichevsky A., Letichevsky A. Jr., Nepomniaschy V., Nikiforov I., Potienko S., Pryma L., Tyutin B. Tools for Supporting Integrated Technology of Analysis and Verification of Specifications for Telecommunication Applications // SPIIRAS. Proc. 2013. V. 3. P. 349–383.); Стененко А.А., Непомнящий В.А. Верификация раскрашенных сетей Петри методом проверки моделей / Институт систем информатики СО РАН. Препринт 172. Новосибирск, 2014. http://www.iis.nsk.su/files/preprints/172.pdf (English transl.: Stenenko A.A., Nepomniaschy V.A. Verification of Coloured Petri Nets by model checking method / Institute of Informatics Systems SB RAS. Preprint 172. Novosibirsk, 2014.); Черненок С.А., Непомнящий В.А. Анализ MSC-диаграмм распределенных систем с помощью раскрашенных сетей Петри / Институт систем информатики СО РАН. Препринт 171. Новосибирск, 2013. http://www.iis.nsk.su/files/preprints/171.pdf (English transl.: Chernenok S.A., Nepomniaschy V.A. Analysis of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets / Institute of Informatics Systems SB RAS. Preprint 171. Novosibirsk, 2013.); Abdallah R., Gotlieb A., Helouet L., Jard C. Scenario Realizability with Constraint Optimization // FASE 2013, LNCS 7793. 2013. P. 194–209.; Chernenok S.A., Nepomniaschy V.A. Analysis and Verification of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets // Proc. of 5th Workshop "PSSV: Theory and Applications". Moscow, 2014. P. 38–49.; Chernenok S.A. Analysis and Verification of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets. Appendix. http://bitbucket.org/chernenok/msc-verification; Eichner C., Fleischhack H., Meyer R., Schrimpf U., Stehno S. Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets // SDL-Forum 2005, LNCS 3530. P. 133–148.; Genest B., Muscholl A., Peled D. Message Sequence Charts // Lectures on Concurrency and Petri Nets, LNCS 3098. 2003. P. 537–558.; ITU-T Recommendation Z.120 (02/2011): Message Sequence Chart (MSC). 2011.; Jensen K., Kristensen L.M. Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Springer, 2009.; Kryvyi S., Matvyeyeva L. Algorithm of Translation of MSC-specified System into Petri Net // Fundamenta Informaticae, 2007. V. 79. № 3–4. P. 431–445.; Letichevsky A., Kapitonova J., Letichevsky A. Jr., Volkov V., Baranov S., Weigert T. Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications // Computer Networks: The International Journal of Computer and Telecommunications Networking. 2005. V. 49. № 5. P. 661–675.; Liang H., Dingel J., Diskin Z. A Comparative Survey of Scenario-Based to State-Based Model Synthesis Approaches // SCESM 2006, ACM. NY, 2006. P. 5–12.; Muccini H. Detecting Implied Scenarios Analyzing Non-local Branching Choices // FASE 2013, LNCS 2621. P. 372–386.; Ribeiro O.R., Fernandes J.M. Some Rules to Transform Sequence Diagrams into Coloured Petri Nets // 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2006). Aarhus, Denmark, 2006. P. 237–256.; Tanenbaum A. Computers Networks (4th Edition). Prentice Hall PTR, 2002.; Yang N., Yu H., Sun H., Qian Z. Modeling UML sequence diagrams using extended Petri nets // Telecommunication Systems. Springer, 2012. V. 51. № 2–3. P. 147–158.

Διαθεσιμότητα: https://www.mais-journal.ru/jour/article/view/74
https://doi.org/10.18255/1818-1015-2014-6-94-106

МОДЕЛИРОВАНИЕ ПРОЦЕССА ОБУЧЕНИЯ С ИСПОЛЬЗОВАНИЕМ РАСКРАШЕННЫХ СЕТЕЙ ПЕТРИ

Συγγραφείς: ГОРБАЧЕНКО ИРИНА МИХАЙЛОВНА, ЛОПАТЕЕВА ОЛЬГА НИКОЛАЕВНА

Θεματικοί όροι: МОДЕЛЬ ИЗУЧЕНИЯ КУРСА,MODELOF THE COURSE,МОДУЛЬНЫЙ ПОДХОД,MODULAR APPROACH,РАСКРАШЕННЫЕ СЕТИ ПЕТРИ,ПРОГРАММА CPNTOOLS,THE PROGRAM CPNTOOLS,COLOREDPETRI NETS

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/modelirovanie-protsessa-obucheniya-s-ispolzovaniem-raskrashennyh-setey-petri
http://cyberleninka.ru/article_covers/16030205.png

Автоматизация построения иерархической имитационной модели бизнес-процессов в виде раскрашенных сетей Петри на основе модели IDEF0

Συγγραφείς: Устимов, Кирилл

Θεματικοί όροι: ФУНКЦИОНАЛЬНОЕ МОДЕЛИРОВАНИЕ, МЕТОДОЛОГИЯ IDEF0, ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ, РАСКРАШЕННЫЕ СЕТИ ПЕТРИ, БИЗНЕС-ПРОЦЕСС, ИЕРАРХИЧЕСКИЕ СЕТИ ПЕТРИ, ДЕКОМПОЗИЦИЯ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/avtomatizatsiya-postroeniya-ierarhicheskoy-imitatsionnoy-modeli-biznes-protsessov-v-vide-raskrashennyh-setey-petri-na-osnove-modeli
http://cyberleninka.ru/article_covers/15645189.png

Алгоритм преобразования IDEFO-модели в раскрашенную сеть Петри

Συγγραφείς: Устимов, Кирилл, Фёдоров, Николай

Θεματικοί όροι: МЕТОДОЛОГИЯ IDEFÜ, РАСКРАШЕННЫЕ СЕТИ ПЕТРИ, АЛГОРИТМ, МАТЕМАТИЧЕСКАЯ МОДЕЛЬ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/algoritm-preobrazovaniya-idefo-modeli-v-raskrashennuyu-set-petri
http://cyberleninka.ru/article_covers/15639186.png

МОДЕЛИРОВАНИЕ ПРОЦЕССА ПАКЕТНОЙ ПЕРЕДАЧИ ДАННЫХ

Συγγραφείς: ГОРБАЧЕНКО И.М.

Θεματικοί όροι: ПАКЕТ, ВРЕМЯ ПЕРЕДАЧИ ДАННЫХ, МОДЕЛЬ, РАСКРАШЕННЫЕ СЕТИ ПЕТРИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/modelirovanie-protsessa-paketnoy-peredachi-dannyh-1
http://cyberleninka.ru/article_covers/15939802.png

ТЕОРИЯ СЕТЕЙ ПЕТРИ И ЕЕ РАСШИРЕНИЯ

Συγγραφείς: Ивутин, А., Дараган, Е.

Θεματικοί όροι: СЕТИ ПЕТРИ,ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ,ГРАФ ДОСТИЖИМОСТИ,РАСКРАШЕННЫЕ СЕТИ ПЕТРИ,ВРЕМЕННЫЕ СЕТИ ПЕТРИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/teoriya-setey-petri-i-ee-rasshireniya
http://cyberleninka.ru/article_covers/14344010.png

Верификация криптографических протоколов распределения ключей с использованием раскрашенных сетей Петри

Συγγραφείς: Могилевская, Надежда, Колчанов, Сергей

Θεματικοί όροι: ВЕРИФИКАЦИЯ ПРОТОКОЛА, ФОРМАЛЬНЫЙ АНАЛИЗ, РАСПРЕДЕЛЕНИЕ КЛЮЧЕЙ, ПРОТОКОЛ НИДХЕМА ШРЁДЕРА, РАСКРАШЕННЫЕ СЕТИ ПЕТРИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/verifikatsiya-kriptograficheskih-protokolov-raspredeleniya-klyuchey-s-ispolzovaniem-raskrashennyh-setey-petri
http://cyberleninka.ru/article_covers/14693079.png

ИССЛЕДОВАНИЕ ИНФОРМАЦИОННЫХ ПОТОКОВ РЕГИСТРАТОРА РАДИОЛОКАЦИОННОЙ ИНФОРМАЦИИ МЕТОДОМ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ

Συγγραφείς: Таранцев, Евгений

Θεματικοί όροι: МОДЕЛЬ, РАДИОЛОКАЦИОННАЯ ИНФОРМАЦИЯ, РЕГИСТРАЦИЯ, РАСКРАШЕННЫЕ СЕТИ ПЕТРИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/issledovanie-informatsionnyh-potokov-registratora-radiolokatsionnoy-informatsii-metodom-imitatsionnogo-modelirovaniya
http://cyberleninka.ru/article_covers/14102832.png

МОДЕЛИРОВАНИЕ ЦВЕТНЫМИ СЕТЯМИ ПЕТРИ ПРОЦЕССА РЕГИСТРАЦИИ РАДИОЛОКАЦИОННОЙ ИНФОРМАЦИИ

Συγγραφείς: Таранцев, Евгений

Θεματικοί όροι: МОДЕЛИРОВАНИЕ, РАСКРАШЕННЫЕ СЕТИ ПЕТРИ, РЕГИСТРАЦИЯ РАДИОЛОКАЦИОННОГО СИГНАЛА

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/modelirovanie-tsvetnymi-setyami-petri-protsessa-registratsii-radiolokatsionnoy-informatsii
http://cyberleninka.ru/article_covers/14104892.png

МОДЕЛИРОВАНИЕ СПЕЦИФИКАЦИЙ РАСПРЕДЕЛЕННЫХ СИСТЕМ НА ЯЗЫКЕ DYNAMIC-REAL СЕТЯМИ ПЕТРИ ВЫСОКОГО УРОВНЯ

Συγγραφείς: Непомнящий, Валерий, Попова, Наталья, Чурина, Татьяна

Θεματικοί όροι: РАСПРЕДЕЛЕННЫЕ СИСТЕМЫ, ЯЗЫК DYNAMIC-REAL, РАСКРАШЕННЫЕ СЕТИ ПЕТРИ, ИЕРАРХИЧЕСКИЕ ВРЕМЕННЫЕ ТИПИЗИРОВАННЫЕ СЕТИ, МЕТОД ТРАНСЛЯЦИИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/modelirovanie-spetsifikatsiy-raspredelennyh-sistem-na-yazyke-dynamic-real-setyami-petri-vysokogo-urovnya
http://cyberleninka.ru/article_covers/13935500.png

Моделирование и верификация взаимодействия функциональностей в телефонных сетях при помощи конечных автоматов и раскрашенных сетей Петри

Συγγραφείς: Белоглазов, Дмитрий, Непомнящий, Валерий

Θεματικοί όροι: ТЕЛЕКОММУНИКАЦИОННЫЕ СИСТЕМЫ, КОНЕЧНЫЕ АВТОМАТЫ, РАСКРАШЕННЫЕ СЕТИ ПЕТРИ, ВЗАИМОДЕЙСТВИЕ ФУНКЦИОНАЛЬНОСТЕЙ, ТЕЛЕФОННЫЕ СЕТИ, ВЕРИФИКАЦИЯ, МЕТОД ПРОВЕРКИ МОДЕЛЕЙ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/modelirovanie-i-verifikatsiya-vzaimodeystviya-funktsionalnostey-v-telefonnyh-setyah-pri-pomoschi-konechnyh-avtomatov-i-raskrashennyh
http://cyberleninka.ru/article_covers/13937552.png

МЕТОДЫ И МОДЕЛИ ГИБКОЙ РАЗРАБОТКИ ОПЕРАЦИЙ НАД РЕСУРСАМИ В КОЛЛЕКТИВНЫХ ИНФОРМАЦИОННЫХ СРЕДАХ

Συγγραφείς: Синица, С.

Θεματικοί όροι: ГИБКАЯ РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ, ИНФОРМАЦИОННЫЕ РЕСУРСЫ, ОПЕРАЦИИ, ПОТОК РАБОТ, КОЛЛЕКТИВНАЯ ИНФОРМАЦИОННАЯ СРЕДА, РАСКРАШЕННЫЕ СЕТИ ПЕТРИ, АРХИТЕКТУРНЫЙ ШАБЛОН

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/metody-i-modeli-gibkoy-razrabotki-operatsiy-nad-resursami-v-kollektivnyh-informatsionnyh-sredah
http://cyberleninka.ru/article_covers/4849755.png