Zobrazeno 1 - 10
of 32 675
pro vyhledávání: '"Petri-net"'
Publikováno v:
Вестник Дагестанского государственного технического университета: Технические науки, Vol 51, Iss 3, Pp 54-59 (2024)
Objective. The purpose of the study is to use artificial intelligence tools to optimize and model the automated organization of work at a mass service enterprise. Method. The research is based on the use of a Petri net as a modeling tool, as well as
Externí odkaz:
https://doaj.org/article/c539c927c42e4ce0b4d9c5da48be4891
Publikováno v:
International Journal of Web Research, Vol 7, Iss 4, Pp 13-27 (2024)
The verification of complex systems has traditionally relied on semi-automatic theorem-proving methods. However, model checking represents a paradigm shift by enabling automated, exhaustive verification of behavioral properties through systematic sta
Externí odkaz:
https://doaj.org/article/c7d2053a08634b9ca88387d4cd2882dc
Autor:
Patalas-Maliszewska Justyna, Wiśniewski Remigiusz, Zhou Mengchu, Topczak Marcin, Wojnakowski Marcin
Publikováno v:
International Journal of Applied Mathematics and Computer Science, Vol 34, Iss 3, Pp 513-525 (2024)
Nowadays, applying additive manufacturing (AM) technologies into a supply chain (SC) permits realization of the so-called “demand chains” and transformation of conventional production to mass customization. However, integration of AM technologies
Externí odkaz:
https://doaj.org/article/4daec6d51caa49d0b95e7192436c6acc
Autor:
Mohammad Gheibi, Reza Moezzi
Publikováno v:
Gases, Vol 4, Iss 3, Pp 273-294 (2024)
This paper presents an analysis of NO2 emissions in Mashhad City utilizing statistical evaluations and the Cisco Network Model. The present study begins by evaluating NO2 emissions through statistical analysis, followed by the application of histogra
Externí odkaz:
https://doaj.org/article/a8f12cccb6df4d8a96f2e703caffd7f9
Publikováno v:
Xibei Gongye Daxue Xuebao, Vol 42, Iss 4, Pp 716-725 (2024)
The construction of lunar bases is one of the core enabling technologies in current lunar exploration and development plans of various countries. However, to eliminate the constraints of high transportation costs and limited manned space technology,
Externí odkaz:
https://doaj.org/article/73275c9bfd204d1a80f8170778152958
Publikováno v:
网络与信息安全学报, Vol 10, Iss 4, Pp 72-84 (2024)
Addressing the issue that research on hardware Trojan (HT) has predominantly focused on specific strategies of HT design and defense, with a deficiency in quantitative evaluation models for system security in the context of HT attacks, a HT attack an
Externí odkaz:
https://doaj.org/article/b938da524fe44d79ae3583136ef6dafc
Publikováno v:
Cogent Engineering, Vol 11, Iss 1 (2024)
Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore, model checking is a formal
Externí odkaz:
https://doaj.org/article/00acf64b5a9448c5a3b5889bc2cc77e9
Publikováno v:
International Journal of Intelligent Computing and Cybernetics, 2023, Vol. 17, Issue 2, pp. 253-305.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/IJICC-07-2023-0174
Publikováno v:
International Journal of Productivity and Performance Management, 2023, Vol. 73, Issue 5, pp. 1326-1356.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/IJPPM-05-2022-0238
Autor:
WANG Jiafeng, XU Xian
Publikováno v:
Jisuanji kexue yu tansuo, Vol 18, Iss 7, Pp 1776-1791 (2024)
Aiming at the problems of weak expressive ability and narrow scope of application in extended colored logical Petri net, timed colored logical Petri net is proposed. Firstly, instantiating colors and using variables to build expressions on directed e
Externí odkaz:
https://doaj.org/article/d69148c65d04453eabdc75a93cfd8198