Einloggen

Thematische Bibliographien / SIGNED PETRI NETS / Zeitschriftenartikel

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: SIGNED PETRI NETS.

Zeitschriftenartikel zum Thema „SIGNED PETRI NETS“

Autor: Grafiati

Veröffentlicht am 16. Januar 2024

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-43 Zeitschriftenartikel für die Forschung zum Thema "SIGNED PETRI NETS" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

Kansal, Sangita, und Payal Dabas. „An Introduction to Signed Petri Net“. Journal of Mathematics 2021 (15.06.2021): 1–8. http://dx.doi.org/10.1155/2021/5595536.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

2

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

3

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

4

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

5

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

Kanich, Ondřej, und Martin Drahanský. „Simulation of synthetic fingerprint generation using Petri nets“. IET Biometrics 6, Nr. 6 (11.04.2017): 402–8. http://dx.doi.org/10.1049/iet-bmt.2016.0041.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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 und Amir Shapiro. „An Intelligent Algorithm for Decision Making System and Control of the GEMMA Guide Paradigm Using the Fuzzy Petri Nets Approach“. Electronics 10, Nr. 4 (19.02.2021): 489. http://dx.doi.org/10.3390/electronics10040489.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

9

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

Grobelna, Iwona, und Andrei Karatkevich. „Challenges in Application of Petri Nets in Manufacturing Systems“. Electronics 10, Nr. 18 (19.09.2021): 2305. http://dx.doi.org/10.3390/electronics10182305.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

12

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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, Nr. 11 (01.11.2005): 2964–71. http://dx.doi.org/10.1093/ietfec/e88-a.11.2964.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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, Nr. 11 (01.11.2005): 3051–61. http://dx.doi.org/10.1093/ietfec/e88-a.11.3051.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

TAKAI, S., und 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, Nr. 11 (01.11.2006): 3250–53. http://dx.doi.org/10.1093/ietfec/e89-a.11.3250.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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, Nr. 11 (01.11.2008): 3219–28. http://dx.doi.org/10.1093/ietfec/e91-a.11.3219.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

M’halla, Anis, Dimitri Lefebvre und 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.08.2020): 1–12. http://dx.doi.org/10.1155/2020/6265379.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

28

TAOKA, S., und 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, Nr. 11 (01.11.2006): 3216–26. http://dx.doi.org/10.1093/ietfec/e89-a.11.3216.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

Chernenok, S. A., und 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, Nr. 7 (Dezember 2015): 484–92. http://dx.doi.org/10.3103/s0146411615070056.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

32

Zhang, Liumei, Wei Zhang, Yichuan Wang, Bowen Xia und Yu Han. „Fine-Grained Modeling of ROP Vulnerability Exploitation Process under Stack Overflow Based on Petri Nets“. Electronics 12, Nr. 23 (22.11.2023): 4741. http://dx.doi.org/10.3390/electronics12234741.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

33

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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, Nr. 1 (01.01.2005): 399–404. http://dx.doi.org/10.1093/ietfec/e88-a.1.399.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

36

He, Yaqiong, Hanjie Dong, Huaiguang Wu und Qianheng Duan. „Formal Analysis of Reentrancy Vulnerabilities in Smart Contract Based on CPN“. Electronics 12, Nr. 10 (09.05.2023): 2152. http://dx.doi.org/10.3390/electronics12102152.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

37

Mao, Zijian, Qiang Han, Yu He, Nan Li, Cong Li, Zhihui Shan und Sheng Han. „A Software Testing Workflow Analysis Tool Based on the ADCV Method“. Electronics 12, Nr. 21 (30.10.2023): 4464. http://dx.doi.org/10.3390/electronics12214464.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

38

Pecoraro, Fabrizio, Fabrizio L. Ricci, Fabrizio Consorti, Daniela Luzi und Oscar Tamburis. „The Friendly Health Issue Network to Support Computer-Assisted Education for Clinical Reasoning in Multimorbidity Patients“. Electronics 10, Nr. 17 (27.08.2021): 2075. http://dx.doi.org/10.3390/electronics10172075.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

39

Liu, Ye-Jia, und 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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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, Nr. 4 (27.05.2019). http://dx.doi.org/10.14313/jamris_4-2018/21.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

42

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

43

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!