Увійти

Готові списки джерел за темами / SIGNED PETRI NETS / Статті в журналах

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: SIGNED PETRI NETS.

Статті в журналах з теми "SIGNED PETRI NETS"

Автор: Grafiati

Опубліковано: 16 січня 2024

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-43 статей у журналах для дослідження на тему "SIGNED PETRI NETS".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Kansal, Sangita, and Payal Dabas. "An Introduction to Signed Petri Net." Journal of Mathematics 2021 (June 15, 2021): 1–8. http://dx.doi.org/10.1155/2021/5595536.

Повний текст джерела

Анотація:

In this paper, the notion of a signed graph and Petri net (PN) is combined to introduce a new concept of Signed Petri net (SiPN). The balancedness in the signed graph, formulated by Harary and Cartwright, can be used to study and analyze social networks. This notion of balancedness is extended to Petri net via SiPN as such a concept has not been defined for already existing Petri nets. A balanced SiPN has been defined and its characterization is given. An illustrative example is provided which utilizes the newly introduced concept of assignment of sign to places of SiPN to determine whether an online transaction initiated by a bank customer is denied or approved by the bank. Lastly, applications of SiPN in the message transmission system and production unit are discussed. These concepts clearly demonstrate the advantages of the proposed approach of SiPN.

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Murdianto, Deny, Shinta Tri Kismanti, and Dwi Santoso. "Model Petri Net Produksi Tahu Pada Industri Skala Rumah Tangga." Contemporary Mathematics and Applications (ConMathA) 5, no. 2 (October 26, 2023): 54–63. http://dx.doi.org/10.20473/conmatha.v5i2.47291.

Повний текст джерела

Анотація:

The process of making tofu includes several steps, namely the process of soaking soybeans, washing soybeans, milling soybeans, boiling or cooking, filtering, settling and adding vinegar. The purpose of this study it was to obtain a Petri Net model of the tofu making process and perform simulations with signed Petri Nets. Simulations are carried out to determine the dynamics that occur during the process of making tofu. The data used is by observation in a household-scale tofu and tempeh processing industry in Tarakan City. The Petri Net model obtained consists of six transitions and ten places. Assuming that every enable transition will always be fired in every state, there are sixteen possible states that can be achieved in the Petri Net simulation.

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Tian, Yinhua, Xiaowen Pang, Yan Su, Dong Han, and Yuyue Du. "Cross-Departmental Collaboration Approach for Earthquake Emergency Response Based on Synchronous Intersection between Traditional and Logical Petri Nets." Electronics 12, no. 5 (March 2, 2023): 1207. http://dx.doi.org/10.3390/electronics12051207.

Повний текст джерела

Анотація:

In order to reduce the harm of earthquakes to human society, all governments actively promote the construction and development of earthquake emergency rescue work. The earthquake emergency response involves many departments, multiple personnel and large rescue forces, which presents a great challenge to the ability to carry out cross-departmental rescue work in a collaborative and joint manner. A novel collaboration approach based on traditional and logical Petri nets is proposed to improve the cross-departmental collaboration in earthquake emergency response. The approach extends the synchronization of transitions in traditional Petri nets to that of traditional and logical transitions in traditional and logical Petri nets, and defines the intersection of related logical functions. The approach builds a model for the earthquake emergency response plans of various departments with the help of traditional and logical Petri net models, and then performs synchronous intersection operations on the two kinds of Petri nets and merges the two kinds of Petri nets into new logical Petri nets. Meanwhile, through realizing the collaboration ability of cross-departmental work, the approach improves the rescue efficiency and reduces the damage of the earthquake emergency.

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Staines, Anthony Spiteri. "Concurrency and Petri Net Models." International Journal of Circuits, Systems and Signal Processing 16 (March 11, 2022): 852–58. http://dx.doi.org/10.46300/9106.2022.16.104.

Повний текст джерела

Анотація:

Concurrency is a fundamental problem and a solution applicable to different areas of computing. Given the complexities and distribution of computer systems and services, concurrency is a modern area requiring proper attention. Petri nets are formalisms based on process representation both from a mathematical view and from a graphical or drawing like view. Petri nets are used to model concurrent processes. This work deals with understanding and representing low level concurrency in Petri nets, when this is not always visible and properly noted from the graphical structure. In this study an algebraic notation has been devised and is used to represent the Petri net structures. This algebraic notation is used as an alternative and simplified way of representation. The notation is explained and several simple examples are given. The notation presented can be used in conjunction with other Petri net analysis and verification methods. Some results and findings are discussed.

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Jiao, Li. "A note on regular Petri nets." Information Processing Letters 108, no. 3 (October 2008): 110–14. http://dx.doi.org/10.1016/j.ipl.2008.04.012.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Kanich, Ondřej, and Martin Drahanský. "Simulation of synthetic fingerprint generation using Petri nets." IET Biometrics 6, no. 6 (April 11, 2017): 402–8. http://dx.doi.org/10.1049/iet-bmt.2016.0041.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Perše, Matej, Matej Kristan, Janez Perš, Gašper Mušič, Goran Vučkovič, and Stanislav Kovačič. "Analysis of multi-agent activity using petri nets." Pattern Recognition 43, no. 4 (April 2010): 1491–501. http://dx.doi.org/10.1016/j.patcog.2009.11.011.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Yakrangi, Oz, Roque J. Saltarén Pazmiño, Juan S. Cely, Alejandro Rodríguez, Cecilia E. García Cena, Pablo San Segundo Carrillo, Julio De La Cueva, and Amir Shapiro. "An Intelligent Algorithm for Decision Making System and Control of the GEMMA Guide Paradigm Using the Fuzzy Petri Nets Approach." Electronics 10, no. 4 (February 19, 2021): 489. http://dx.doi.org/10.3390/electronics10040489.

Повний текст джерела

Анотація:

The aim of this article is to present the fuzzy Petri net algorithm and its implementation on the Guide d’etude des modes de marche et d’arrêt (GEMMA) guide paradigm. Additionally, this article presents a brief description of the GEMMA guide paradigm, the fuzzy logic approach, the Petri nets theory, and fuzzy Petri nets. Each algorithm is intended for a specific set of transitions, depending on their essential conditions. All these algorithms generate intelligent and safe control of the GEMMA guide paradigm in order to have the best control system for the machine. Moreover, the algorithms are able to make the best decision automatically depending on the machine’s situation and condition, something that allows the machine to be placed in the appropriate mode for each situation. The results show that the different fuzzy Petri net algorithms were working properly for the GEMMA guide paradigm and provided a proper solution for the automation of production systems.

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Best, Eike, and Javier Esparza. "Existence of home states in Petri nets is decidable." Information Processing Letters 116, no. 6 (June 2016): 423–27. http://dx.doi.org/10.1016/j.ipl.2016.01.011.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Dworzański, L. W., and I. A. Lomazova. "CPN tools-assisted simulation and verification of nested Petri nets." Automatic Control and Computer Sciences 47, no. 7 (December 2013): 393–402. http://dx.doi.org/10.3103/s0146411613070201.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Grobelna, Iwona, and Andrei Karatkevich. "Challenges in Application of Petri Nets in Manufacturing Systems." Electronics 10, no. 18 (September 19, 2021): 2305. http://dx.doi.org/10.3390/electronics10182305.

Повний текст джерела

Анотація:

Petri nets are a useful mathematical formalism for specification of manufacturing systems, supported by various analysis and verification methods. The progress made in automating control systems and the widespread use of Industry 4.0 pose a number of challenges to their application, starting from the education at university level and ending with modelling of real case studies. The paper aims to present and analyse the most relevant challenges and opportunities related to the use of Petri nets as a modelling technique of manufacturing systems. The review of the literature is primarily based on the years 2019–2020 to reflect the current state of the art. The newest approaches to deadlock prevention and recovering, but also other important analysis problems and difficulties in modelling real industrial processes are discussed. Trends for the future are also identified.

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Troncale, Sylvie, Jean-Paul Comet, and Gilles Bernot. "Enzymatic competition: Modeling and verification with timed hybrid petri nets." Pattern Recognition 42, no. 4 (April 2009): 562–66. http://dx.doi.org/10.1016/j.patcog.2008.09.019.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

WATANABE, Toshimasa, and Satoshi TAOKA. "Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E92-A, no. 11 (2009): 2707–16. http://dx.doi.org/10.1587/transfun.e92.a.2707.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

KOBAYASHI, Koichi, and Kunihiko HIRAISHI. "Optimal Control of Boolean Biological Networks Modeled by Petri Nets." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E96.A, no. 2 (2013): 532–39. http://dx.doi.org/10.1587/transfun.e96.a.532.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

MIYAMOTO, T. "A Survey of Object-Oriented Petri Nets and Analysis Methods." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A, no. 11 (November 1, 2005): 2964–71. http://dx.doi.org/10.1093/ietfec/e88-a.11.2964.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

TAOKA, S. "Improved Heuristic Algorithms for Minimizing Initial Markings of Petri Nets." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A, no. 11 (November 1, 2005): 3051–61. http://dx.doi.org/10.1093/ietfec/e88-a.11.3051.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Zaitsev, D. A. "Verification of computing grids with special edge conditions by infinite Petri nets." Automatic Control and Computer Sciences 47, no. 7 (December 2013): 403–12. http://dx.doi.org/10.3103/s0146411613070262.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Mashkov, Viktor, Volodymyr Lytvynenko, and Irina Lurie. "Modeling and Simulating Mutual Testing in Complex Systems by Using Petri Nets." International Journal of Image, Graphics and Signal Processing 15, no. 6 (December 8, 2023): 81–93. http://dx.doi.org/10.5815/ijigsp.2023.06.07.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

19

TAKAI, S., and Y. BAI. "Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E89-A, no. 11 (November 1, 2006): 3250–53. http://dx.doi.org/10.1093/ietfec/e89-a.11.3250.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

20

HIRAISHI, K. "Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A, no. 11 (November 1, 2008): 3219–28. http://dx.doi.org/10.1093/ietfec/e91-a.11.3219.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Vizovitin, N. V., V. A. Nepomniaschy, and A. A. Stenenko. "Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation." Automatic Control and Computer Sciences 51, no. 7 (December 2017): 489–97. http://dx.doi.org/10.3103/s0146411617070227.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

22

OCHIIWA, Satoru, Satoshi TAOKA, Masahiro YAMAUCHI, and Toshimasa WATANABE. "Two Enhanced Heuristic Algorithms for the Minimum Initial Marking Problem of Petri Nets." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E92-A, no. 11 (2009): 2732–44. http://dx.doi.org/10.1587/transfun.e92.a.2732.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

23

OCHIIWA, Satoru, Satoshi TAOKA, Masahiro YAMAUCHI, and Toshimasa WATANABE. "Two Heuristic Algorithms for the Minimum Initial Marking Problem of Timed Petri Nets." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E96.A, no. 2 (2013): 540–53. http://dx.doi.org/10.1587/transfun.e96.a.540.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Mokdad, Lynda, Mbaye Sene, and Azzedine Boukerche. "Call Admission Control Performance Analysis in Mobile Networks Using Stochastic Well-Formed Petri Nets." IEEE Transactions on Parallel and Distributed Systems 22, no. 8 (August 2011): 1332–41. http://dx.doi.org/10.1109/tpds.2010.90.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Magott, Jan. "Performance evaluation of systems of cyclic sequential processes with mutual exclusion using Petri nets." Information Processing Letters 21, no. 5 (November 1985): 229–32. http://dx.doi.org/10.1016/0020-0190(85)90089-4.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Hadjicostis, Christoforos N., and George C. Verghese. "Fault-tolerant computation in groups and semigroups: applications to automata, dynamic systems and Petri nets." Journal of the Franklin Institute 339, no. 4-5 (July 2002): 387–430. http://dx.doi.org/10.1016/s0016-0032(02)00025-x.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

M’halla, Anis, Dimitri Lefebvre, and Mouhaned Gaied. "Distributed Monitoring Based on P-Time Petri Nets and Chronicle Recognition of the Tunisian Railway Network." Journal of Electrical and Computer Engineering 2020 (August 25, 2020): 1–12. http://dx.doi.org/10.1155/2020/6265379.

Повний текст джерела

Анотація:

This paper falls under the problems of the monitoring of a Discrete Event System (DES) with time constraints. Among the various techniques used for online and distributed monitoring, we are interested in the chronicle recognition. Chronicles are temporal patterns that represent the system’s possible evolutions. The proposed models are based on P-time Petri nets that are suitable to represent with accuracy and modularity the Tunisian railway network. These models are scalable and may be used to represent a large variety of railway networks. Then, monitoring is based on the generation of chronicles that are suitable to detect and isolate traffic incidents in a distributed setting. Consequently, the proposed approach is tractable for large networks. Finally, to demonstrate the effectiveness and accuracy of the approach, an application to the case study of the Tunisian railway network is outlined.

Стилі APA, Harvard, Vancouver, ISO та ін.

28

TAOKA, S., and T. WATANABE. "Time Complexity Analysis of the Legal Firing Sequence Problem of Petri Nets with Inhibitor Arcs." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E89-A, no. 11 (November 1, 2006): 3216–26. http://dx.doi.org/10.1093/ietfec/e89-a.11.3216.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Darondeau, Ph. "Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets." Information Processing Letters 94, no. 6 (June 2005): 241–45. http://dx.doi.org/10.1016/j.ipl.2005.03.002.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Chernenok, S. A., and V. A. Nepomniaschy. "Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets." Automatic Control and Computer Sciences 49, no. 7 (December 2015): 484–92. http://dx.doi.org/10.3103/s0146411615070056.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Guo, Qi, Wangyang Yu, Fei Hao, Yuke Zhou, and Yuan Liu. "Modelling and Analysis of Adaptive Cruise Control System Based on Synchronization Theory of Petri Nets." Electronics 11, no. 21 (November 7, 2022): 3632. http://dx.doi.org/10.3390/electronics11213632.

Повний текст джерела

Анотація:

The ACC (adaptive cruise control) system has developed rapidly in recent years, and its reliability and safety have also attracted a lot of attention. The ACC system can realize automatic driving following the vehicle in the longitudinal range, and its reliability is closely related to the synchronization between two vehicles. Combined with formal modelling methods, this paper analyzes and detects the logical flaw that is poor synchronization in the following process of the ACC system from the perspective of synchronization. Aiming at avoiding this kind of logical flaw, this paper presents a novel optimized modelling solution based on the synchronization theory of Petri nets and further improves the calculation method of the synchronic distance. The simulation results reduce the token accumulation by an average of 91.357%, which demonstrates that the improved model can effectively improve reliability and reduce the risk of rear-end collision.

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Zhang, Liumei, Wei Zhang, Yichuan Wang, Bowen Xia, and Yu Han. "Fine-Grained Modeling of ROP Vulnerability Exploitation Process under Stack Overflow Based on Petri Nets." Electronics 12, no. 23 (November 22, 2023): 4741. http://dx.doi.org/10.3390/electronics12234741.

Повний текст джерела

Анотація:

Software vulnerability discovery is currently a hot topic, and buffer overflow remains a prevalent security vulnerability. One of the key issues in vulnerability discovery and analysis is how to quickly analyze buffer overflow vulnerabilities and select critical exploitation paths. Existing modeling methods for vulnerability exploitation cannot accurately reflect the fine-grained execution process of stack overflow exploitation paths. This paper, based on the discussion of buffer overflow exploitation techniques, proposes a fine-grained modeling and analysis method based on Petri nets for the selection and execution of exploitation processes, specifically focusing on the return-oriented programming in stack overflow. Through qualitative analysis, we compared the simulated time of the software with the execution time of existing exploitation tools, achieving timeout-based simulation experiments. We validated the model’s effectiveness using symbolic execution and dynamic analysis techniques. The results indicate that this model performs well for vulnerable programs with Position Independent Executable (PIE) protection enabled and has an advantage in selecting exploitation paths, enabling timeout-based simulation. This method provides a reference for rapidly constructing exploitation implementations.

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Blume, H., T. von Sydow, and T. G. Noll. "A Case Study for the Application of Deterministic and Stochastic Petri Nets in the SoC Communication Domain." Journal of VLSI signal processing systems for signal, image and video technology 43, no. 2-3 (June 2006): 223–33. http://dx.doi.org/10.1007/s11265-006-7272-4.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

MURAYA, A. "All Fundamental Particular Solutions are Needed to Express an Arbitrary Firing Count Vector in Petri Nets." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A, no. 1 (January 1, 2005): 399–404. http://dx.doi.org/10.1093/ietfec/e88-a.1.399.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Brito, Carlos, Leonardo Silva, Gustavo Callou, Tuan Anh Nguyen, Dugki Min, Jae-Woo Lee, and Francisco Airton Silva. "Offloading Data through Unmanned Aerial Vehicles: A Dependability Evaluation." Electronics 10, no. 16 (August 10, 2021): 1916. http://dx.doi.org/10.3390/electronics10161916.

Повний текст джерела

Анотація:

Applications in the Internet of Things (IoT) context continuously generate large amounts of data. The data must be processed and monitored to allow rapid decision making. However, the wireless connection that links such devices to remote servers can lead to data loss. Thus, new forms of a connection must be explored to ensure the system’s availability and reliability as a whole. Unmanned aerial vehicles (UAVs) are becoming increasingly empowered in terms of processing power and autonomy. UAVs can be used as a bridge between IoT devices and remote servers, such as edge or cloud computing. UAVs can collect data from mobile devices and process them, if possible. If there is no processing power in the UAV, the data are sent and processed on servers at the edge or in the cloud. Data offloading throughout UAVs is a reality today, but one with many challenges, mainly due to unavailability constraints. This work proposes stochastic Petri net (SPN) models and reliability block diagrams (RBDs) to evaluate a distributed architecture, with UAVs focusing on the system’s availability and reliability. Among the various existing methodologies, stochastic Petri nets (SPN) provide models that represent complex systems with different characteristics. UAVs are used to route data from IoT devices to the edge or the cloud through a base station. The base station receives data from UAVs and retransmits them to the cloud. The data are processed in the cloud, and the responses are returned to the IoT devices. A sensitivity analysis through Design of Experiments (DoE) showed key points of improvement for the base model, which was enhanced. A numerical analysis indicated the components with the most significant impact on availability. For example, the cloud proved to be a very relevant component for the availability of the architecture. The final results could prove the effectiveness of improving the base model. The present work can help system architects develop distributed architectures with more optimized UAVs and low evaluation costs.

Стилі APA, Harvard, Vancouver, ISO та ін.

36

He, Yaqiong, Hanjie Dong, Huaiguang Wu, and Qianheng Duan. "Formal Analysis of Reentrancy Vulnerabilities in Smart Contract Based on CPN." Electronics 12, no. 10 (May 9, 2023): 2152. http://dx.doi.org/10.3390/electronics12102152.

Повний текст джерела

Анотація:

A smart contract is a special form of computer program that runs on a blockchain and provides a new way to implement financial and business transactions in a conflict-free and transparent environment. In blockchain systems such as Ethereum, smart contracts can handle and autonomously transfer assets of considerable value to other parties. Hence, it is particularly important to ensure that smart contracts function as intended since bugs or vulnerabilities may lead, and indeed have led, to substantial economic losses and erosion of trust for blockchain. While a number of approaches and tools have been developed to find vulnerabilities, formal methods present the highest level of confidence in the security of smart contracts. In this paper, we propose a formal solution to model a smart contract based on colored Petri nets (CPNs). Herein, we focus on the most common type of security bugs in smart contract, i.e., reentrancy bugs, which led to a serious financial loss of around USD 34 million for the Cream Finance project in 2021. We present a hierarchical CPN modelling method to analyze potential security vulnerabilities at the contract’s source code level. Then, modeling analysis methods such as correlation matrix, state space report and state space graph generated via CPN Tools simulation are exploited for formal analysis of smart contracts. The example shows the full state space and wrong path in accordance with our expected results. Finally, the conclusion was verified on the Ethereum network based on the Remix platform.

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Mao, Zijian, Qiang Han, Yu He, Nan Li, Cong Li, Zhihui Shan, and Sheng Han. "A Software Testing Workflow Analysis Tool Based on the ADCV Method." Electronics 12, no. 21 (October 30, 2023): 4464. http://dx.doi.org/10.3390/electronics12214464.

Повний текст джерела

Анотація:

Based on two progressive aspects of the modeling problems in business process management (BPM), (1) in order to address the increasing complexity of user requirements on workflows underlying various BPM application scenarios, a more verifiable fundamental modeling method must be invented; (2) to address the diversification of software testing processes, more formalized advanced modeling technology must also be applied based on the fundamental modeling method. Aiming to address these modeling problems, this paper first proposes an ADCV (acquisition, decomposition, combination, and verification) method that runs through the core management links of four types of business processes (mining, decomposition, recombination, and verification) and then describes the compositional structure of the ADCV method and the design of corresponding algorithms. Then, the software testing workflow is managed and monitored using the method, and the corresponding analysis tool is implemented based on Petri nets. At the same time, the tool is applied to the case processing of the software testing workflow. Specifically, the workflow models are established successively through ADCV during the process of business iteration. Then, the analysis tool developed with the ADCV method, the model–view–controller (MVC) design pattern, and Java Swing technology are applied to instances of the software testing workflow to realize the modeling and management of the testing processes. Thus, the analysis tool can guarantee the accuracy of the parameter estimations of related software reliability growth models (SRGMs) and ultimately improve the quality of software products.

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Pecoraro, Fabrizio, Fabrizio L. Ricci, Fabrizio Consorti, Daniela Luzi, and Oscar Tamburis. "The Friendly Health Issue Network to Support Computer-Assisted Education for Clinical Reasoning in Multimorbidity Patients." Electronics 10, no. 17 (August 27, 2021): 2075. http://dx.doi.org/10.3390/electronics10172075.

Повний текст джерела

Анотація:

Clinical reasoning in multimorbidity conditions asks for the ability to anticipate the possible evolutions of the overall health state of a patient and to identify the interactions among the concurrent health issues and their treatments. The HIN (Health Issue Network) approach, as Petri Nets-based formal language, is introduced as capable of providing a novel perspective to facilitate the acquisition of such competencies, graphically representing the network among a set of health issues (HIs) that affect a person throughout their life, and describing how HIs evolve over time. The need to provide a more immediate user-oriented interface has led to the development of f-HIN (friendly HIN), a lighter version based on the same mathematical properties as HIN, from which stems in turn the f-HINe (friendly HIN extracted) model, used to represent networks related to either real patients’ clinical experiences extracted from electronic health records, or from teacher-designed realistic clinical histories. Such models have also been designed to be embedded in a software learning environment that allows drawing a f-HIN diagram, checking for its format correctness, as well as designing clinical exercises for the learners, including their computer-assisted assessment. The present paper aims at introducing and discussing the f-HIN/f-HINe models and their educational use. It also introduces the main features of the software learning environment it was built upon, pointing out its importance to: (i) help medical teachers in designing and representing the context of a learning outcome; and (ii) handle the complex history of a multimorbidity patient, to be conveyed in Case-Based Learning (CBL) exercises.

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Liu, Ye-Jia, and Xun-Bo Li. "Boundedness and liveness enforcement for labeled Petri nets using transition priority." Journal of Electronic Science and Technology, November 2023, 100227. http://dx.doi.org/10.1016/j.jnlest.2023.100227.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Kučera, Erik, Oto Haffner, and Roman Leskovský. "Modelling and Control of Discrete-Event Systems Using Petri Nets and Arduino Microcontrollers." Journal of Automation, Mobile Robotics and Intelligent Systems, July 18, 2019, 20–27. http://dx.doi.org/10.14313/jamris/3-2020/29.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Čapkovič, František. "Modelling and Control of Flexible Manufacturing Systems by Means of Interpreted Petri Nets." Journal of Automation, Mobile Robotics & Intelligent Systems 12, no. 4 (May 27, 2019). http://dx.doi.org/10.14313/jamris_4-2018/21.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

42

FUJITA, Kohei, and Toshimitsu USHIO. "Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2021. http://dx.doi.org/10.1587/transfun.2021map0003.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Yang, Cheng-Ying, Yi-Nan Lin, Victor R. L. Shen, Frank H. C. Shen, and Chien-Chi Wang. "A Novel IoT-Enabled System for Real Time Face Mask Recognition Based on Petri Nets." IEEE Internet of Things Journal, 2023, 1. http://dx.doi.org/10.1109/jiot.2023.3313583.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!