Se connecter

Bibliographies thématiques / SIGNED PETRI NETS / Articles de revues

Articles de revues sur le sujet « SIGNED PETRI NETS »

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : SIGNED PETRI NETS.

Auteur : Grafiati

Publié le 16 janvier 2024

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 43 meilleurs articles de revues pour votre recherche sur le sujet « SIGNED PETRI NETS ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

1

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

2

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

3

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

4

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

5

Jiao, Li. « A note on regular Petri nets ». Information Processing Letters 108, n^o 3 (octobre 2008) : 110–14. http://dx.doi.org/10.1016/j.ipl.2008.04.012.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

Kanich, Ondřej, et Martin Drahanský. « Simulation of synthetic fingerprint generation using Petri nets ». IET Biometrics 6, n^o 6 (11 avril 2017) : 402–8. http://dx.doi.org/10.1049/iet-bmt.2016.0041.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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 et Amir Shapiro. « An Intelligent Algorithm for Decision Making System and Control of the GEMMA Guide Paradigm Using the Fuzzy Petri Nets Approach ». Electronics 10, n^o 4 (19 février 2021) : 489. http://dx.doi.org/10.3390/electronics10040489.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

9

Best, Eike, et Javier Esparza. « Existence of home states in Petri nets is decidable ». Information Processing Letters 116, n^o 6 (juin 2016) : 423–27. http://dx.doi.org/10.1016/j.ipl.2016.01.011.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Dworzański, L. W., et I. A. Lomazova. « CPN tools-assisted simulation and verification of nested Petri nets ». Automatic Control and Computer Sciences 47, n^o 7 (décembre 2013) : 393–402. http://dx.doi.org/10.3103/s0146411613070201.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Grobelna, Iwona, et Andrei Karatkevich. « Challenges in Application of Petri Nets in Manufacturing Systems ». Electronics 10, n^o 18 (19 septembre 2021) : 2305. http://dx.doi.org/10.3390/electronics10182305.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

12

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

14

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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, n^o 11 (1 novembre 2005) : 2964–71. http://dx.doi.org/10.1093/ietfec/e88-a.11.2964.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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, n^o 11 (1 novembre 2005) : 3051–61. http://dx.doi.org/10.1093/ietfec/e88-a.11.3051.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

17

Zaitsev, D. A. « Verification of computing grids with special edge conditions by infinite Petri nets ». Automatic Control and Computer Sciences 47, n^o 7 (décembre 2013) : 403–12. http://dx.doi.org/10.3103/s0146411613070262.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

Mashkov, Viktor, Volodymyr Lytvynenko et Irina Lurie. « Modeling and Simulating Mutual Testing in Complex Systems by Using Petri Nets ». International Journal of Image, Graphics and Signal Processing 15, n^o 6 (8 décembre 2023) : 81–93. http://dx.doi.org/10.5815/ijigsp.2023.06.07.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

TAKAI, S., et 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, n^o 11 (1 novembre 2006) : 3250–53. http://dx.doi.org/10.1093/ietfec/e89-a.11.3250.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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, n^o 11 (1 novembre 2008) : 3219–28. http://dx.doi.org/10.1093/ietfec/e91-a.11.3219.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

21

Vizovitin, N. V., V. A. Nepomniaschy et A. A. Stenenko. « Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation ». Automatic Control and Computer Sciences 51, n^o 7 (décembre 2017) : 489–97. http://dx.doi.org/10.3103/s0146411617070227.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

22

OCHIIWA, Satoru, Satoshi TAOKA, Masahiro YAMAUCHI et 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, n^o 11 (2009) : 2732–44. http://dx.doi.org/10.1587/transfun.e92.a.2732.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

OCHIIWA, Satoru, Satoshi TAOKA, Masahiro YAMAUCHI et 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, n^o 2 (2013) : 540–53. http://dx.doi.org/10.1587/transfun.e96.a.540.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

Mokdad, Lynda, Mbaye Sene et Azzedine Boukerche. « Call Admission Control Performance Analysis in Mobile Networks Using Stochastic Well-Formed Petri Nets ». IEEE Transactions on Parallel and Distributed Systems 22, n^o 8 (août 2011) : 1332–41. http://dx.doi.org/10.1109/tpds.2010.90.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

25

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

M’halla, Anis, Dimitri Lefebvre et 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 (25 août 2020) : 1–12. http://dx.doi.org/10.1155/2020/6265379.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

28

TAOKA, S., et 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, n^o 11 (1 novembre 2006) : 3216–26. http://dx.doi.org/10.1093/ietfec/e89-a.11.3216.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

29

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

30

Chernenok, S. A., et 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, n^o 7 (décembre 2015) : 484–92. http://dx.doi.org/10.3103/s0146411615070056.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

32

Zhang, Liumei, Wei Zhang, Yichuan Wang, Bowen Xia et Yu Han. « Fine-Grained Modeling of ROP Vulnerability Exploitation Process under Stack Overflow Based on Petri Nets ». Electronics 12, n^o 23 (22 novembre 2023) : 4741. http://dx.doi.org/10.3390/electronics12234741.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

33

Blume, H., T. von Sydow et 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, n^o 2-3 (juin 2006) : 223–33. http://dx.doi.org/10.1007/s11265-006-7272-4.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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, n^o 1 (1 janvier 2005) : 399–404. http://dx.doi.org/10.1093/ietfec/e88-a.1.399.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

Brito, Carlos, Leonardo Silva, Gustavo Callou, Tuan Anh Nguyen, Dugki Min, Jae-Woo Lee et Francisco Airton Silva. « Offloading Data through Unmanned Aerial Vehicles : A Dependability Evaluation ». Electronics 10, n^o 16 (10 août 2021) : 1916. http://dx.doi.org/10.3390/electronics10161916.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

36

He, Yaqiong, Hanjie Dong, Huaiguang Wu et Qianheng Duan. « Formal Analysis of Reentrancy Vulnerabilities in Smart Contract Based on CPN ». Electronics 12, n^o 10 (9 mai 2023) : 2152. http://dx.doi.org/10.3390/electronics12102152.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

37

Mao, Zijian, Qiang Han, Yu He, Nan Li, Cong Li, Zhihui Shan et Sheng Han. « A Software Testing Workflow Analysis Tool Based on the ADCV Method ». Electronics 12, n^o 21 (30 octobre 2023) : 4464. http://dx.doi.org/10.3390/electronics12214464.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

38

Pecoraro, Fabrizio, Fabrizio L. Ricci, Fabrizio Consorti, Daniela Luzi et Oscar Tamburis. « The Friendly Health Issue Network to Support Computer-Assisted Education for Clinical Reasoning in Multimorbidity Patients ». Electronics 10, n^o 17 (27 août 2021) : 2075. http://dx.doi.org/10.3390/electronics10172075.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

39

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

40

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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, n^o 4 (27 mai 2019). http://dx.doi.org/10.14313/jamris_4-2018/21.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

42

FUJITA, Kohei, et 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

43

Yang, Cheng-Ying, Yi-Nan Lin, Victor R. L. Shen, Frank H. C. Shen et 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!